Label
|
|
|
00000nx a2200037 45 0 |
001
|
|
|
BNF|13602556
(VIAF cluster)
(Authority/Source Record)
|
009
|
|
|
http://catalogue.bnf.fr/ark:/12148/cb136025563
|
003
|
|
|
BNF |
039
|
|
|
‡o
OPL
‡a
015284827
|
100
|
|
|
‡a
20010110afrey0103 ba0
|
101
|
|
|
‡a
eng
|
102
|
|
|
‡a
GB
|
105
|
|
|
‡a
a
|
106
|
|
|
‡a
1
|
152
|
|
|
‡a
AFNOR Z 44-061
‡c
2
|
200
|
|
| |
‡7
ba0yba0y
‡8
fre
‡9
0
‡a
Jones
‡b
Mark P.
|
300
|
0 |
|
‡a
En poste à l'université de Nottingham, GB (en 1994)
|
801
|
|
|
‡a
FR
‡b
BnF
‡c
20010110
|
810
|
|
|
‡a
Qualified types / Mark P. Jones, cop. 1994
|
901
|
|
|
‡a
978052147253
‡9
1
|
910
|
|
|
‡a
qualifiedtypestheoryandpractice
‡A
Qualified types theory and practice
‡l
eng
‡9
1
|
919
|
|
|
‡a
qualifiedtypes
‡A
Qualified types
‡9
1
|
920
|
|
|
‡a
978-052
‡9
1
|
921
|
|
|
‡a
cambridge university press
‡c
Cambridge university press
‡9
1
|
922
|
|
|
‡a
gb
‡b
ki
‡9
1
|
930
|
|
|
‡a
mark p jones
‡f
Mark P. Jones,...
‡9
1
|
940
|
|
|
‡a
eng
‡9
1
|
941
|
|
|
‡a
070
‡4
070
‡9
1
|
944
|
|
|
‡a
am
‡9
1
|
947
|
|
|
‡a
GB
‡9
1
|
948
|
|
|
‡a
eng
‡9
1
|
996
|
|
|
‡2
DBC|870979137406462
|
996
|
|
|
‡2
NDL|001189898
|
996
|
|
|
‡2
LC|n 2008020038
|
996
|
|
|
‡2
LNB|LNC10-000336712
|
996
|
|
|
‡2
LC|nb2012023548
|
996
|
|
|
‡2
WKP|Q114290085
|
996
|
|
|
‡2
ISNI|0000000486059184
|
996
|
|
|
‡2
RERO|A002989222
|
996
|
|
|
‡2
RERO|A027114163
|
996
|
|
|
‡2
LC|nb2009004229
|
996
|
|
|
‡2
WKP|Q56946668
|
996
|
|
|
‡2
SUDOC|251135942
|
996
|
|
|
‡2
BIBSYS|1488830535933
|
996
|
|
|
‡2
NUKAT|n 2008126721
|
996
|
|
|
‡2
WKP|Q6768275
|
996
|
|
|
‡2
JPG|500232159
|
996
|
|
|
‡2
LC|n 93087092
|
996
|
|
|
‡2
WKP|Q21456931
|
996
|
|
|
‡2
ISNI|0000000041815733
|
996
|
|
|
‡2
B2Q|0001376249
|
996
|
|
|
‡2
NDL|00842132
|
996
|
|
|
‡2
WKP|Q73391329
|
996
|
|
|
‡2
BLBNB|001574256
|
996
|
|
|
‡2
ISNI|0000000077142665
|
996
|
|
|
‡2
BIBSYS|90873148
|
996
|
|
|
‡2
LC|no2018015613
|
996
|
|
|
‡2
LC|nb2011009307
|
996
|
|
|
‡2
WKP|Q112424447
|
996
|
|
|
‡2
DNB|136030610
|
996
|
|
|
‡2
LC|n 77002530
|
996
|
|
|
‡2
SUDOC|151994943
|
996
|
|
|
‡2
WKP|Q86450712
|
996
|
|
|
‡2
ISNI|0000000044870578
|
996
|
|
|
‡2
WKP|Q38956468
|
996
|
|
|
‡2
WKP|Q20853425
|
996
|
|
|
‡2
BIBSYS|98029553
|
996
|
|
|
‡2
LC|n 2014004310
|
996
|
|
|
‡2
WKP|Q114779513
|
996
|
|
|
‡2
LC|no 99081630
|
996
|
|
|
‡2
BNE|XX1218703
|
996
|
|
|
‡2
WKP|Q130244880
|
996
|
|
|
‡2
ISNI|0000000113286536
|
996
|
|
|
‡2
N6I|vtls002104853
|
996
|
|
|
‡2
WKP|Q120719048
|
996
|
|
|
‡2
ISNI|0000000055596471
|
996
|
|
|
‡2
NII|DA18726775
|
996
|
|
|
‡2
WKP|Q96646829
|
996
|
|
|
‡2
WKP|Q130297700
|
996
|
|
|
‡2
SUDOC|145947033
|
996
|
|
|
‡2
NII|DA10688548
|
996
|
|
|
‡2
WKP|Q115931251
|
996
|
|
|
‡2
ISNI|0000000384387697
|
996
|
|
|
‡2
LC|n 2009043302
|
996
|
|
|
‡2
WKP|Q56515691
|
996
|
|
|
‡2
RERO|A003429915
|
996
|
|
|
‡2
ISNI|0000000399310887
|
996
|
|
|
‡2
NTA|153090219
|
996
|
|
|
‡2
LC|no2019116314
|
996
|
|
|
‡2
BIBSYS|2122154
|
996
|
|
|
‡2
WKP|Q680696
|
996
|
|
|
‡2
CAOONL|ncf10541358
|
996
|
|
|
‡2
J9U|987007384411405171
|
996
|
|
|
‡2
KRNLK|KAC200807186
|
996
|
|
|
‡2
BIBSYS|14006639
|
996
|
|
|
‡2
WKP|Q92536616
|
996
|
|
|
‡2
WKP|Q6768281
|
996
|
|
|
‡2
WKP|Q6768280
|
996
|
|
|
‡2
WKP|Q6768283
|
996
|
|
|
‡2
WKP|Q6768282
|
996
|
|
|
‡2
WKP|Q6768285
|
996
|
|
|
‡2
WKP|Q6768284
|
996
|
|
|
‡2
WKP|Q6768287
|
996
|
|
|
‡2
WKP|Q6768286
|
996
|
|
|
‡2
LC|nb2016005397
|
996
|
|
|
‡2
DNB|105325251X
|
996
|
|
|
‡2
W2Z|1615360583639
|
996
|
|
|
‡2
NTA|07508256X
|
996
|
|
|
‡2
LC|no2015068016
|
996
|
|
|
‡2
LC|n 2024054858
|
996
|
|
|
‡2
NUKAT|n 2021128801
|
996
|
|
|
‡2
WKP|Q6768278
|
996
|
|
|
‡2
ISNI|0000000500564487
|
996
|
|
|
‡2
DNB|1037595009
|
996
|
|
|
‡2
ISNI|000000011328678X
|
996
|
|
|
‡2
DNB|1268649287
|
996
|
|
|
‡2
ISNI|0000000116310773
|
996
|
|
|
‡2
RERO|A027117305
|
996
|
|
|
‡2
WKP|Q3845456
|
996
|
|
|
‡2
LC|n 92043333
|
996
|
|
|
‡2
LC|nb2011001922
|
996
|
|
|
‡2
WKP|Q92301223
|
996
|
|
|
‡2
SUDOC|202690342
|
996
|
|
|
‡2
BIBSYS|1592544498297
|
996
|
|
|
‡2
ISNI|0000000043392033
|
996
|
|
|
‡2
WKP|Q3849506
|
996
|
|
|
‡2
RERO|A027117302
|
996
|
|
|
‡2
BNE|XX5014250
|
996
|
|
|
‡2
LC|nb2011001920
|
996
|
|
|
‡2
DNB|1041836074
|
996
|
|
|
‡2
ISNI|0000000133567095
|
996
|
|
|
‡2
LC|nb 99116083
|
996
|
|
|
‡2
ISNI|0000000067188854
|
996
|
|
|
‡2
WKP|Q57293674
|
996
|
|
|
‡2
SUDOC|236676415
|
996
|
|
|
‡2
LC|no2024096105
|
996
|
|
|
‡2
BAV|495_349690
|
996
|
|
|
‡2
J9U|987007432237005171
|
996
|
|
|
‡2
WKP|Q60393556
|
996
|
|
|
‡2
DNB|114183317
|
996
|
|
|
‡2
WKP|Q25172045
|
996
|
|
|
‡2
LC|no2019050903
|
996
|
|
|
‡2
WKP|Q102089391
|
996
|
|
|
‡2
NUKAT|n 2019005349
|
996
|
|
|
‡2
NUKAT|n 2014186155
|
996
|
|
|
‡2
WKP|Q3287982
|
996
|
|
|
‡2
WKP|Q55500965
|
996
|
|
|
‡2
NSK|000667105
|
996
|
|
|
‡2
ISNI|0000000064058966
|
996
|
|
|
‡2
WKP|Q15072754
|
996
|
|
|
‡2
ISNI|0000000399400188
|
996
|
|
|
‡2
DNB|1122069405
|
996
|
|
|
‡2
WKP|Q65124162
|
996
|
|
|
‡2
J9U|987007280210505171
|
996
|
|
|
‡2
NII|DA11724068
|
996
|
|
|
‡2
J9U|987007379249005171
|
996
|
|
|
‡2
WKP|Q6768289
|
996
|
|
|
‡2
WKP|Q109581270
|
996
|
|
|
‡2
WKP|Q6758259
|
996
|
|
|
‡2
J9U|987007393179905171
|
996
|
|
|
‡2
LC|nb2013017681
|
996
|
|
|
‡2
WKP|Q60734296
|
996
|
|
|
‡2
CAOONL|ncf10644797
|
996
|
|
|
‡2
LC|n 2012077542
|
996
|
|
|
‡2
LC|n 2012074913
|
996
|
|
|
‡2
ISNI|0000000032163550
|
996
|
|
|
‡2
J9U|987007434824805171
|
996
|
|
|
‡2
NTA|29748897X
|
996
|
|
|
‡2
ISNI|0000000500649632
|
996
|
|
|
‡2
WKP|Q934587
|
996
|
|
|
‡2
NII|DA17457441
|
996
|
|
|
‡2
WKP|Q38802425
|
996
|
|
|
‡2
NII|DA00373868
|
996
|
|
|
‡2
ISNI|000000008405740X
|
996
|
|
|
‡2
ISNI|0000000040813808
|
996
|
|
|
‡2
RERO|A008634867
|
996
|
|
|
‡2
LC|nb2022016950
|
996
|
|
|
‡2
ISNI|0000000402660213
|
996
|
|
|
‡2
LC|no2013004576
|
996
|
|
|
‡2
WKP|Q73865552
|
996
|
|
|
‡2
LC|n 2015050789
|
996
|
|
|
‡2
SUDOC|076553183
|
996
|
|
|
‡2
WKP|Q77349942
|
996
|
|
|
‡2
ISNI|0000000501399698
|
996
|
|
|
‡2
WKP|Q19668078
|
996
|
|
|
‡2
NII|DA04937444
|
996
|
|
|
‡2
WKP|Q1820758
|
996
|
|
|
‡2
ISNI|0000000038197540
|
996
|
|
|
‡2
DNB|1138949566
|
996
|
|
|
‡2
WKP|Q124865606
|
996
|
|
|
‡2
NTA|160438004
|
996
|
|
|
‡2
BIBSYS|1615360583639
|
996
|
|
|
‡2
WKP|Q6768277
|
996
|
|
|
‡2
BIBSYS|3030556
|
996
|
|
|
‡2
LC|no2005009091
|
996
|
|
|
‡2
DNB|1193435943
|
996
|
|
|
‡2
WKP|Q6758258
|
996
|
|
|
‡2
WKP|Q40136180
|
996
|
|
|
‡2
ISNI|0000000499008351
|
996
|
|
|
‡2
NDL|00444883
|
996
|
|
|
‡2
WKP|Q92268785
|
996
|
|
|
‡2
WKP|Q112546967
|
996
|
|
|
‡2
BIBSYS|99012591
|
996
|
|
|
‡2
WKP|Q120610757
|
996
|
|
|
‡2
ISNI|0000000116623278
|
996
|
|
|
‡2
ERRR|12520469
|
996
|
|
|
‡2
LC|n 2024183728
|
996
|
|
|
‡2
ISNI|000000011928913X
|
996
|
|
|
‡2
WKP|Q735017
|
996
|
|
|
‡2
WKP|Q6766710
|
996
|
|
|
‡2
LC|no2013052171
|
996
|
|
|
‡2
SUDOC|251000303
|
996
|
|
|
‡2
BAV|495_124406
|
996
|
|
|
‡2
DNB|1137862173
|
996
|
|
|
‡2
WKP|Q97545281
|
996
|
|
|
‡2
DNB|132344882
|
996
|
|
|
‡2
SUDOC|27513556X
|
996
|
|
|
‡2
BIBSYS|97004108
|
996
|
|
|
‡2
WKP|Q112404521
|
996
|
|
|
‡2
WKP|Q57690818
|
996
|
|
|
‡2
LC|no2024114668
|
996
|
|
|
‡2
WKP|Q58659277
|
996
|
|
|
‡2
SUDOC|115073736
|
996
|
|
|
‡2
DNB|1317256859
|
996
|
|
|
‡2
J9U|987007389298605171
|
996
|
|
|
‡2
WKP|Q86069567
|
996
|
|
|
‡2
WKP|Q750398
|
996
|
|
|
‡2
LC|nb2022017973
|
996
|
|
|
‡2
WKP|Q112993141
|
996
|
|
|
‡2
N6I|vtls000015772
|
996
|
|
|
‡2
ISNI|000000005054869X
|
996
|
|
|
‡2
BIBSYS|9005710
|
996
|
|
|
‡2
WKP|Q112476598
|
996
|
|
|
‡2
BNE|XX888583
|
996
|
|
|
‡2
ISNI|0000000101373034
|
996
|
|
|
‡2
ISNI|0000000043735083
|
996
|
|
|
‡2
SUDOC|113639481
|
996
|
|
|
‡2
LC|nr 97038043
|
996
|
|
|
‡2
WKP|Q88559153
|
996
|
|
|
‡2
NUKAT|n 2012168454
|
996
|
|
|
‡2
LC|nb2006021595
|
996
|
|
|
‡2
WKP|Q83899935
|
996
|
|
|
‡2
WKP|Q85199675
|
996
|
|
|
‡2
LC|nr 91031631
|
996
|
|
|
‡2
DNB|1324107413
|
996
|
|
|
‡2
JPG|500018578
|
996
|
|
|
‡2
NII|DA13164598
|
996
|
|
|
‡2
SUDOC|185979432
|
996
|
|
|
‡2
WKP|Q76090201
|
996
|
|
|
‡2
NKC|ola2013750150
|
996
|
|
|
‡2
LC|nb 99052660
|
996
|
|
|
‡2
WKP|Q110228550
|
996
|
|
|
‡2
SUDOC|095784535
|
996
|
|
|
‡2
DNB|171250737
|
996
|
|
|
‡2
NKC|jo20221143175
|
996
|
|
|
‡2
LC|n 96803486
|
996
|
|
|
‡2
LC|nb 98014351
|
996
|
|
|
‡2
WKP|Q93476820
|
996
|
|
|
‡2
BIBSYS|90073214
|
996
|
|
|
‡2
CAOONL|ncf10376058
|
996
|
|
|
‡2
WKP|Q3849511
|
996
|
|
|
‡2
DBC|87097969538827
|
996
|
|
|
‡2
BIBSYS|1542227323818
|
996
|
|
|
‡2
WKP|Q17523860
|
996
|
|
|
‡2
LIH|LNB:DA_l__v_;=B3
|
996
|
|
|
‡2
WKP|Q6755651
|
996
|
|
|
‡2
WKP|Q124625224
|
996
|
|
|
‡2
WKP|Q112359830
|
996
|
|
|
‡2
LC|nb2015014459
|
996
|
|
|
‡2
J9U|987007323397605171
|
996
|
|
|
‡2
PLWABN|9812226478405606
|
996
|
|
|
‡2
LC|n 90628354
|
996
|
|
|
‡2
WKP|Q127208558
|
996
|
|
|
‡2
WKP|Q76049535
|
996
|
|
|
‡2
NLA|000035927405
|
996
|
|
|
‡2
WKP|Q96069993
|
996
|
|
|
‡2
WKP|Q76332919
|
996
|
|
|
‡2
NKC|jcu2016928794
|
996
|
|
|
‡2
NKC|mub2010587585
|
996
|
|
|
‡2
WKP|Q16214908
|
996
|
|
|
‡2
NTA|134225074
|
997
|
|
|
‡a
0 0 lived 0 0
‡9
1
|
998
|
|
|
‡a
Jones, Mark P.
‡2
BIBSYS|90830440
‡3
viafid
‡3
standard number
|
998
|
|
|
‡a
Jones, Mark P.
‡2
DNB|172774713
‡3
exact name
|
998
|
|
|
‡a
Jones, Mark P.
‡2
J9U|987007429670005171
‡3
exact title: (1.00, 'qualifiedtypes', 'qualifiedtypes')
‡3
viafid
|
998
|
|
|
‡a
Jones, Mark. P
‡2
RERO|A003429917
‡3
standard number
|
998
|
|
|
‡a
Jones, Mark P.
‡2
NII|DA0925496X
‡3
exact title: (1.00, 'qualifiedtypestheoryandpractice', 'qualifiedtypestheoryandpractice')
|
998
|
|
|
‡a
Jones, Mark P.
‡2
NUKAT|n 98000614
‡3
viafid
‡3
standard number
|
998
|
|
|
‡a
Jones, Mark P.
‡2
LC|n 94057850
‡3
standard number
|
998
|
|
|
‡a
Jones, Mark P.
‡2
SUDOC|053515919
‡3
standard number
|
999
|
|
|
‡2
BNFBIB|FRBNF374786680000008
|