|
Leader
|
|
|
00000cz a2200037n 45 0 |
|
001
|
|
|
LC|n 87830978
(VIAF cluster)
(Authority/Source Record)
|
|
005
|
|
|
20141210081057.0 |
|
008
|
|
|
870513n| azannaab |n aad |
|
003
|
|
|
LC |
|
035
|
|
|
‡a
(LC)2031123
|
|
010
|
|
|
‡a
n 87830978
|
|
035
|
|
|
‡a
(DLC)n 87830978
|
|
035
|
|
|
‡a
(DLC)192903
|
|
040
|
|
|
‡a
DLC
‡b
eng
‡e
rda
‡c
DLC
‡d
DLC
|
|
046
|
|
|
‡f
1956
|
|
100
|
1 |
|
‡a
Boehm, Hans-Juergen Karl Hermann,
‡d
1956-
|
|
670
|
|
|
‡a
nuc87-044079: His A logic for the Russell programming language, 1984
‡b
(hdg. on NIC rept.: Boehm, Hans-Juergen Karl Hermann, 1956-; usage: Hans-Juergen Karl Hermann Boehm)
|
|
919
|
|
|
‡a
logicfortherussellprogramminglanguage
‡A
A logic for the Russell programming language, 1984
‡9
1
|
|
943
|
|
|
‡a
198x
‡A
1984
‡9
1
|
|
996
|
|
|
‡2
RERO|A017013519
|
|
996
|
|
|
‡2
DNB|1239129890
|
|
996
|
|
|
‡2
DNB|1095696696
|
|
996
|
|
|
‡2
WKP|Q58423030
|
|
996
|
|
|
‡2
DNB|1095696653
|
|
996
|
|
|
‡2
NSK|000163567
|
|
996
|
|
|
‡2
DNB|116219793
|
|
996
|
|
|
‡2
DNB|118642348X
|
|
996
|
|
|
‡2
NTA|324995350
|
|
996
|
|
|
‡2
DNB|127999817
|
|
996
|
|
|
‡2
DNB|1223201635
|
|
996
|
|
|
‡2
ISNI|0000000030205294
|
|
996
|
|
|
‡2
BNF|12394047
|
|
996
|
|
|
‡2
DNB|124583113
|
|
996
|
|
|
‡2
DNB|1249770734
|
|
996
|
|
|
‡2
DNB|1219878987
|
|
996
|
|
|
‡2
DNB|1072837609
|
|
996
|
|
|
‡2
DNB|1031784780
|
|
996
|
|
|
‡2
NTA|069388431
|
|
996
|
|
|
‡2
DNB|1346809275
|
|
996
|
|
|
‡2
DNB|129336572
|
|
996
|
|
|
‡2
DNB|1067691243
|
|
996
|
|
|
‡2
DNB|1242570551
|
|
996
|
|
|
‡2
DNB|133208753
|
|
996
|
|
|
‡2
WKP|Q55089568
|
|
996
|
|
|
‡2
SUDOC|242455654
|
|
996
|
|
|
‡2
DNB|1244310530
|
|
996
|
|
|
‡2
J9U|987007314668805171
|
|
996
|
|
|
‡2
DNB|111431806X
|
|
996
|
|
|
‡2
NSK|000693460
|
|
996
|
|
|
‡2
SUDOC|033032440
|
|
996
|
|
|
‡2
BIBSYS|90259926
|
|
996
|
|
|
‡2
DNB|126162077
|
|
996
|
|
|
‡2
DE633|pe30078978
|
|
996
|
|
|
‡2
WKP|Q114406660
|
|
996
|
|
|
‡2
DNB|1015230431
|
|
996
|
|
|
‡2
DNB|116219785
|
|
996
|
|
|
‡2
DNB|1054668914
|
|
996
|
|
|
‡2
NUKAT|n 2015180815
|
|
996
|
|
|
‡2
DNB|140340807
|
|
996
|
|
|
‡2
BNF|12035491
|
|
996
|
|
|
‡2
DNB|1038821630
|
|
996
|
|
|
‡2
SUDOC|077772121
|
|
996
|
|
|
‡2
CAOONL|ncf11625646
|
|
996
|
|
|
‡2
DNB|13410787X
|
|
996
|
|
|
‡2
BNF|12382201
|
|
996
|
|
|
‡2
DNB|1246965763
|
|
996
|
|
|
‡2
DNB|1060215454
|
|
997
|
|
|
‡a
1956 0 lived 0 0
‡9
1
|
|
998
|
|
|
‡a
Boehm, Hans-Juergen Karl Hermann,
‡2
ISNI|0000000030205294
‡3
single date
|
|
998
|
|
|
‡a
Boehm, Hans-Juergen Karl Hermann
‡2
ISNI|0000000030205294
‡3
single date
|
|
998
|
|
|
‡a
Boehm, Hans-Juergen Karl Hermann
‡2
NII|DA1959874X
‡3
exact title: (1.00, 'logicfortherussellprogramminglanguage', 'logicfortherussellprogramminglanguage')
|
