Leader
|
|
|
00000cz a2200037n 45 0 |
001
|
|
|
N6I|vtls000005220
(VIAF cluster)
|
003
|
|
|
N6I |
005
|
|
|
20120912183953.0 |
008
|
|
|
790530n| acannaab| |a aaa ||| |
035
|
|
|
‡a
(N6I)vtls000005220
|
010
|
|
|
‡a
n 79050611
‡z
n 79075820
|
039
|
|
9 |
‡a
201209121839
‡b
VLOAD
‡c
201209120331
‡d
VLOAD
‡c
201205252106
‡d
VLOAD
‡c
201205190123
‡d
VLOAD
‡y
201005131515
‡z
VLOAD
|
040
|
|
|
‡a
DLC
‡c
DLC
‡d
DLC
|
100
|
1 |
0 |
‡a
Robinson, J. A.
‡q
(John Alan)
|
400
|
1 |
0 |
‡w
nna
‡a
Robinson, John Alan
|
400
|
1 |
0 |
‡a
Robinson, Alan
‡q
(John Alan)
|
670
|
|
|
‡a
Call to publisher
‡b
(John Alan Robinson)
|
670
|
|
|
‡a
Computational logic, c1991:
‡b
CIP t.p. (Alan Robinson)
|
670
|
|
|
‡a
His Logic, form and function, c1979:
‡b
t.p. (J. A. Robinson)
|
675
|
|
|
‡a
WW of Brit. scientists, 1971-72;
‡a
Acad. WW, 1973/74.
|
919
|
|
|
‡a
computationallogic
‡A
Computational logic, c1991:
‡9
1
|
919
|
|
|
‡a
logicformandfunction
‡A
Logic, form and function, c1979:
‡9
1
|
943
|
|
|
‡a
199x
‡A
1991
‡9
1
|
943
|
|
|
‡a
197x
‡A
1979
‡9
1
|
996
|
|
|
‡2
BIBSYS|4017642
|
996
|
|
|
‡2
LC|nr 96023706
|
996
|
|
|
‡2
NLA|000035713765
|
996
|
|
|
‡2
WKP|Q76142470
|
996
|
|
|
‡2
BAV|495_249457
|
996
|
|
|
‡2
NII|DA0437203X
|
996
|
|
|
‡2
SUDOC|07203128X
|
996
|
|
|
‡2
CAOONL|ncf10543925
|
996
|
|
|
‡2
LC|nb2002003524
|
996
|
|
|
‡2
RERO|A014147758
|
996
|
|
|
‡2
ICCU|LO1V042113
|
996
|
|
|
‡2
WKP|Q55615178
|
996
|
|
|
‡2
WKP|Q1343872
|
996
|
|
|
‡2
SUDOC|147033861
|
996
|
|
|
‡2
ISNI|0000000021991094
|
996
|
|
|
‡2
WKP|Q372624
|
996
|
|
|
‡2
BLBNB|000226924
|
996
|
|
|
‡2
J9U|987007360440105171
|
996
|
|
|
‡2
WKP|Q6234587
|
996
|
|
|
‡2
NTA|339741422
|
996
|
|
|
‡2
SUDOC|079105173
|
996
|
|
|
‡2
NUKAT|n 2012077643
|
996
|
|
|
‡2
ISNI|0000000083289241
|
996
|
|
|
‡2
WKP|Q19325660
|
996
|
|
|
‡2
CAOONL|ncf11155039
|
996
|
|
|
‡2
LC|n 2006064337
|
996
|
|
|
‡2
WKP|Q76108083
|
996
|
|
|
‡2
SUDOC|031761577
|
996
|
|
|
‡2
WKP|Q41728674
|
996
|
|
|
‡2
LC|n 91097334
|
996
|
|
|
‡2
LC|no2015037455
|
996
|
|
|
‡2
WKP|Q6228299
|
996
|
|
|
‡2
WKP|Q115977969
|
996
|
|
|
‡2
LC|n 2021038431
|
996
|
|
|
‡2
WKP|Q58371083
|
996
|
|
|
‡2
ISNI|0000000044663456
|
996
|
|
|
‡2
RERO|A013866263
|
996
|
|
|
‡2
J9U|987011288775905171
|
996
|
|
|
‡2
LC|n 2013067975
|
996
|
|
|
‡2
WKP|Q41709258
|
996
|
|
|
‡2
LC|n 85161648
|
996
|
|
|
‡2
WKP|Q75526526
|
996
|
|
|
‡2
DNB|126844887
|
996
|
|
|
‡2
ISNI|0000000083796315
|
996
|
|
|
‡2
LC|no2003061401
|
996
|
|
|
‡2
WKP|Q114232297
|
996
|
|
|
‡2
ISNI|0000000108636052
|
996
|
|
|
‡2
DNB|1168909422
|
996
|
|
|
‡2
BLBNB|000334854
|
996
|
|
|
‡2
ISNI|0000000435086828
|
996
|
|
|
‡2
LC|n 2009050438
|
996
|
|
|
‡2
WKP|Q63161780
|
996
|
|
|
‡2
WKP|Q64433021
|
996
|
|
|
‡2
WKP|Q16065425
|
996
|
|
|
‡2
ISNI|0000000027344138
|
996
|
|
|
‡2
LC|no 91020343
|
996
|
|
|
‡2
JPG|500016584
|
996
|
|
|
‡2
WKP|Q112482903
|
996
|
|
|
‡2
WKP|Q31783814
|
996
|
|
|
‡2
WKP|Q6267598
|
996
|
|
|
‡2
LC|n 77002005
|
996
|
|
|
‡2
LC|no2014057937
|
996
|
|
|
‡2
NII|DA03319698
|
996
|
|
|
‡2
LC|n 2007056968
|
996
|
|
|
‡2
WKP|Q6267595
|
996
|
|
|
‡2
WKP|Q706867
|
996
|
|
|
‡2
DNB|1076871496
|
996
|
|
|
‡2
J9U|987007390368505171
|
996
|
|
|
‡2
LC|nr 93009164
|
996
|
|
|
‡2
WKP|Q15442483
|
996
|
|
|
‡2
ISNI|0000000115524497
|
996
|
|
|
‡2
WKP|Q6274252
|
996
|
|
|
‡2
WKP|Q98760502
|
996
|
|
|
‡2
ISNI|000000011585527X
|
996
|
|
|
‡2
NII|DA10773512
|
996
|
|
|
‡2
WKP|Q16059917
|
996
|
|
|
‡2
WKP|Q11310811
|
996
|
|
|
‡2
ISNI|0000000046601267
|
996
|
|
|
‡2
WKP|Q75941475
|
996
|
|
|
‡2
LC|no2014054790
|
996
|
|
|
‡2
DNB|1145508995
|
996
|
|
|
‡2
WKP|Q41805594
|
996
|
|
|
‡2
NII|DA0098786X
|
996
|
|
|
‡2
DNB|1329679903
|
996
|
|
|
‡2
LC|n 87801566
|
996
|
|
|
‡2
NUKAT|n 2018228879
|
996
|
|
|
‡2
ISNI|0000000069412784
|
996
|
|
|
‡2
NTA|440584736
|
996
|
|
|
‡2
J9U|987007423855605171
|
996
|
|
|
‡2
RERO|A022881004
|
996
|
|
|
‡2
WKP|Q110143614
|
996
|
|
|
‡2
NUKAT|n 2014198917
|
996
|
|
|
‡2
ISNI|0000000025476161
|
996
|
|
|
‡2
WKP|Q89952217
|
996
|
|
|
‡2
LIH|LNB:C_o_1B;=BL
|
996
|
|
|
‡2
LC|no2022104876
|
996
|
|
|
‡2
LC|nr 91023257
|
996
|
|
|
‡2
LC|no2015126773
|
996
|
|
|
‡2
WKP|Q76142534
|
996
|
|
|
‡2
NTA|104069996
|
996
|
|
|
‡2
WKP|Q55615232
|
996
|
|
|
‡2
LNB|LNC10-000095583
|
996
|
|
|
‡2
WKP|Q76142434
|
996
|
|
|
‡2
LC|n 82007526
|
996
|
|
|
‡2
ISNI|0000000117572329
|
996
|
|
|
‡2
NDL|00525605
|
996
|
|
|
‡2
ISNI|0000000052443867
|
996
|
|
|
‡2
BNF|16050433
|
996
|
|
|
‡2
ISNI|0000000510880280
|
996
|
|
|
‡2
WKP|Q21554557
|
996
|
|
|
‡2
BIBSYS|90058641
|
996
|
|
|
‡2
ISNI|0000000062417355
|
996
|
|
|
‡2
WKP|Q15999963
|
996
|
|
|
‡2
LC|no2020136948
|
996
|
|
|
‡2
WKP|Q87593920
|
996
|
|
|
‡2
LC|no2003103813
|
996
|
|
|
‡2
BNF|12100200
|
996
|
|
|
‡2
NTA|316172634
|
996
|
|
|
‡2
WKP|Q1372485
|
996
|
|
|
‡2
BNF|12291664
|
996
|
|
|
‡2
LC|n 85008790
|
996
|
|
|
‡2
WKP|Q55245227
|
996
|
|
|
‡2
WKP|Q6245582
|
996
|
|
|
‡2
PLWABN|9810649625005606
|
996
|
|
|
‡2
DNB|134499492
|
996
|
|
|
‡2
ISNI|000000011739987X
|
996
|
|
|
‡2
LC|nb2012005694
|
996
|
|
|
‡2
RERO|A022821216
|
996
|
|
|
‡2
BIBSYS|98050258
|
996
|
|
|
‡2
NTA|224289527
|
996
|
|
|
‡2
LC|n 85386499
|
996
|
|
|
‡2
ISNI|0000000039935103
|
996
|
|
|
‡2
LC|n 2018036374
|
996
|
|
|
‡2
J9U|987007331180105171
|
996
|
|
|
‡2
SZ|118790749
|
996
|
|
|
‡2
ISNI|0000000075588583
|
996
|
|
|
‡2
ISNI|0000000083817956
|
996
|
|
|
‡2
ISNI|0000000048144899
|
996
|
|
|
‡2
DNB|130293261
|
996
|
|
|
‡2
DNB|1043115196
|
996
|
|
|
‡2
LC|nr 94002383
|
996
|
|
|
‡2
JPG|500067123
|
996
|
|
|
‡2
JPG|500443857
|
996
|
|
|
‡2
WKP|Q85906174
|
996
|
|
|
‡2
LC|n 97122326
|
996
|
|
|
‡2
ISNI|0000000114471637
|
996
|
|
|
‡2
WKP|Q7528022
|
996
|
|
|
‡2
WKP|Q7528023
|
996
|
|
|
‡2
NDL|00515828
|
996
|
|
|
‡2
ISNI|0000000114428815
|
996
|
|
|
‡2
WKP|Q30122975
|
996
|
|
|
‡2
WKP|Q76299987
|
996
|
|
|
‡2
LC|no2009098715
|
996
|
|
|
‡2
LC|no2019021225
|
996
|
|
|
‡2
LC|n 89665478
|
996
|
|
|
‡2
W2Z|98050258
|
996
|
|
|
‡2
LC|nb2009018228
|
996
|
|
|
‡2
NII|DA05988906
|
996
|
|
|
‡2
LC|n 91114894
|
996
|
|
|
‡2
ISNI|0000000045475000
|
996
|
|
|
‡2
WKP|Q125356427
|
996
|
|
|
‡2
SUDOC|155827561
|
996
|
|
|
‡2
NUKAT|n 02021111
|
996
|
|
|
‡2
LC|n 86861835
|
996
|
|
|
‡2
ISNI|0000000070548494
|
996
|
|
|
‡2
NII|DA13254588
|
996
|
|
|
‡2
WKP|Q112430185
|
996
|
|
|
‡2
ISNI|000000005749521X
|
996
|
|
|
‡2
J9U|987007273650405171
|
996
|
|
|
‡2
RERO|A022770179
|
996
|
|
|
‡2
BIBSYS|12012049
|
996
|
|
|
‡2
WKP|Q16859511
|
996
|
|
|
‡2
BNF|15784102
|
996
|
|
|
‡2
WKP|Q106170316
|
996
|
|
|
‡2
WKP|Q76262996
|
996
|
|
|
‡2
J9U|987007328270505171
|
996
|
|
|
‡2
BNF|16664255
|
996
|
|
|
‡2
DBC|87097969668119
|
996
|
|
|
‡2
LC|n 2007161595
|
996
|
|
|
‡2
LC|n 92803132
|
996
|
|
|
‡2
LC|n 2007087919
|
996
|
|
|
‡2
ISNI|0000000050570205
|
996
|
|
|
‡2
NKC|jo20221166621
|
996
|
|
|
‡2
LC|no2022045213
|
996
|
|
|
‡2
BNCHL|10000000000000000126498
|
996
|
|
|
‡2
NUKAT|n 2022131741
|
996
|
|
|
‡2
SUDOC|060228881
|
996
|
|
|
‡2
WKP|Q76142261
|
996
|
|
|
‡2
LC|n 78012169
|
996
|
|
|
‡2
DNB|118745581
|
996
|
|
|
‡2
RERO|A003752133
|
996
|
|
|
‡2
LC|no2015058012
|
996
|
|
|
‡2
NTA|339748176
|
996
|
|
|
‡2
LC|nr 93015291
|
996
|
|
|
‡2
BNF|14506356
|
996
|
|
|
‡2
LC|no 99005503
|
996
|
|
|
‡2
JPG|500185229
|
996
|
|
|
‡2
WKP|Q76042819
|
996
|
|
|
‡2
WKP|Q96812488
|
996
|
|
|
‡2
ISNI|0000000043768889
|
996
|
|
|
‡2
LIH|LNB:V-321140;=_z_W
|
996
|
|
|
‡2
KRNLK|KAC199623249
|
996
|
|
|
‡2
ISNI|0000000023500826
|
996
|
|
|
‡2
WKP|Q23894740
|
996
|
|
|
‡2
WKP|Q434708
|
996
|
|
|
‡2
BNF|15008318
|
996
|
|
|
‡2
J9U|987007359546505171
|
996
|
|
|
‡2
LC|n 83210723
|
996
|
|
|
‡2
WKP|Q102215369
|
996
|
|
|
‡2
BAV|495_84856
|
996
|
|
|
‡2
LC|nb2014005612
|
996
|
|
|
‡2
WKP|Q112103124
|
996
|
|
|
‡2
CAOONL|ncf11619648
|
996
|
|
|
‡2
WKP|Q75254355
|
996
|
|
|
‡2
ISNI|0000000040964972
|
996
|
|
|
‡2
BNE|XX5784413
|
996
|
|
|
‡2
DNB|1037540441
|
996
|
|
|
‡2
WKP|Q57415770
|
996
|
|
|
‡2
DNB|1216345120
|
996
|
|
|
‡2
LC|n 83182119
|
996
|
|
|
‡2
J9U|987007604401405171
|
996
|
|
|
‡2
LC|no2007076211
|
996
|
|
|
‡2
WKP|Q91732176
|
996
|
|
|
‡2
ISNI|0000000409973247
|
996
|
|
|
‡2
WKP|Q18954383
|
996
|
|
|
‡2
NTA|364229837
|
996
|
|
|
‡2
LC|nr2004000795
|
996
|
|
|
‡2
WKP|Q3131721
|
996
|
|
|
‡2
RERO|A014085730
|
996
|
|
|
‡2
WKP|Q115040505
|
996
|
|
|
‡2
NTA|143821229
|
996
|
|
|
‡2
LC|nr 91023263
|
996
|
|
|
‡2
DNB|135683351
|
996
|
|
|
‡2
NUKAT|n 2009158185
|
996
|
|
|
‡2
WKP|Q6252603
|
996
|
|
|
‡2
WKP|Q110141254
|
996
|
|
|
‡2
ISNI|000000004115463X
|
996
|
|
|
‡2
WKP|Q124434785
|
996
|
|
|
‡2
LC|nb 90010382
|
996
|
|
|
‡2
ISNI|0000000447393331
|
996
|
|
|
‡2
WKP|Q75472850
|
996
|
|
|
‡2
WKP|Q12792602
|
996
|
|
|
‡2
LC|nb2019002156
|
996
|
|
|
‡2
PLWABN|9812485001605606
|
996
|
|
|
‡2
WKP|Q2496381
|
996
|
|
|
‡2
ISNI|0000000048693900
|
996
|
|
|
‡2
LNB|LNC10-000012054
|
996
|
|
|
‡2
DNB|122412079
|
996
|
|
|
‡2
WKP|Q3181936
|
996
|
|
|
‡2
LC|n 91101776
|
997
|
|
|
‡a
0 0 lived 0 0
‡9
1
|
998
|
|
|
‡a
Robinson, John A.
‡2
DNB|124196306
‡3
exact title: (1.00, 'computationallogic', 'computationallogic')
|
998
|
|
|
‡a
Robinson, J. A.
‡q
(John Alan)
‡2
NII|DA01969772
‡3
title: (0.73, 'computationallogic', 'computationallogicessaysinhonorofalanrobinson')
|
998
|
|
|
‡a
Robinson, John Alan
‡2
NTA|068311222
‡3
title: (0.73, 'computationallogic', 'computationallogicessaysinhonorofalanrobinson')
|
998
|
|
|
‡a
Robinson, J. A.
‡q
(John Alan)
‡2
CAOONL|ncf11267514
‡3
exact title: (1.00, 'logicformandfunction', 'logicformandfunction')
|
998
|
|
|
‡a
Robinson, John Alan
‡2
SUDOC|069337721
‡3
title: (0.73, 'logicformandfunction', 'logicformandfunctionthemechanizationofdeductivereasoning')
|
998
|
|
|
‡a
Robinson, John Alan
‡2
NUKAT|n 96301114
‡3
title: (0.73, 'computationallogic', 'computationallogicessaysinhonorofalanrobinson')
‡3
viafid
|
998
|
|
|
‡a
Robinson, John Alan
‡2
RERO|A003752136
‡3
title: (0.73, 'logicformandfunction', 'logicformandfunctionthemechanizationofdeductivereasoning')
|
998
|
|
|
‡a
Robinson, J. A.
‡2
BIBSYS|90199182
‡3
viafid
|
998
|
|
|
‡a
Robinson, J. A.
‡q
(John Alan)
‡2
LC|n 79050611
‡3
lccn:n79-50611
‡3
exact title: (1.00, 'logicformandfunction', 'logicformandfunction')
|
998
|
|
|
‡a
Robinson, J. A.
‡q
(John Alan)
‡2
J9U|987007278306705171
‡3
lccn:n79-50611
‡3
exact title: (1.00, 'logicformandfunction', 'logicformandfunction')
|