Leader
|
|
|
00000nz a2200037n 45 0 |
001
|
|
|
B2Q|0000148909
(VIAF cluster)
|
005
|
|
|
20200919072623.0 |
008
|
|
|
910405n|facvnnaabn n aaa |
003
|
|
|
B2Q |
035
|
|
|
‡a
(B2Q)0000148909
|
024
|
7 |
|
‡a
0000000076244854
‡1
https://isni.org/isni/0000000076244854
‡2
isni
|
040
|
|
|
‡a
CaQMBN
‡b
fre
‡c
CaQMBN
|
046
|
|
|
‡f
1957
‡2
edtf
|
100
|
1 |
|
‡a
Tavares, Antonio,
‡d
1957-
|
670
|
|
|
‡a
ASN 30556378 CAF 90
|
670
|
|
|
‡a
Son: Contribution à l'étude théorique sur la preuve de théorèmes en logique modale (s.d.)
|
901
|
|
|
‡a
978276282148
‡9
1
|
909
|
|
|
‡a
(isni) 0000000076244854
‡9
1
|
910
|
|
|
‡a
contributionaletudetheoriquesurlapreuvedetheoremesenlogiquemodale
‡A
Contribution à l'étude théorique sur la preuve de théorèmes en logique modale
‡b
mémoire présenté à l'Université du Québec à Montréal comme exigence partielle de la maîtrise en mathématiques /
‡l
fre
‡9
1
|
919
|
|
|
‡a
contributionaletudetheoriquesurlapreuvedetheoremesenlogiquemodale
‡A
Contribution à l'étude théorique sur la preuve de théorèmes en logique modale (s.d.)
‡9
1
|
920
|
|
|
‡a
978-2762
‡9
1
|
921
|
|
|
‡a
universite du quebec
‡b
Université du Québec,
‡9
1
|
922
|
|
|
‡a
quc
‡b
ca
‡9
1
|
930
|
|
|
‡a
antonio tavares
‡c
par Antonio Tavares
‡9
1
|
940
|
|
|
‡a
fre
‡9
1
|
942
|
|
|
‡a
QA9.54
‡9
1
|
943
|
|
|
‡a
199x
‡9
1
|
944
|
|
|
‡a
am
‡9
1
|
996
|
|
|
‡2
BLBNB|000366053
|
996
|
|
|
‡2
PTBNP|993697
|
996
|
|
|
‡2
NII|DA1785086X
|
996
|
|
|
‡2
SUDOC|032223285
|
996
|
|
|
‡2
PTBNP|436829
|
996
|
|
|
‡2
PTBNP|1007920
|
996
|
|
|
‡2
ISNI|0000000069221152
|
996
|
|
|
‡2
ISNI|0000000068597959
|
996
|
|
|
‡2
WKP|Q25443380
|
996
|
|
|
‡2
ISNI|0000000037249345
|
996
|
|
|
‡2
PTBNP|1741639
|
996
|
|
|
‡2
ISNI|0000000378741506
|
996
|
|
|
‡2
WKP|Q58454263
|
996
|
|
|
‡2
PTBNP|203618
|
996
|
|
|
‡2
ISNI|0000000068403384
|
996
|
|
|
‡2
BNCHL|10000000000000000093449
|
996
|
|
|
‡2
SUDOC|075235390
|
996
|
|
|
‡2
ISNI|0000000083635626
|
996
|
|
|
‡2
BAV|495_269916
|
996
|
|
|
‡2
BNF|12329562
|
996
|
|
|
‡2
RERO|A000160956
|
996
|
|
|
‡2
ISNI|0000000098966305
|
996
|
|
|
‡2
PTBNP|1854989
|
996
|
|
|
‡2
LC|n 2020182566
|
996
|
|
|
‡2
PTBNP|1753720
|
996
|
|
|
‡2
DNB|1157163130
|
996
|
|
|
‡2
BNF|17059947
|
996
|
|
|
‡2
NUKAT|n 2012070701
|
996
|
|
|
‡2
RERO|A025848136
|
996
|
|
|
‡2
PTBNP|1790530
|
996
|
|
|
‡2
LC|n 88647372
|
996
|
|
|
‡2
ISNI|0000000066470305
|
996
|
|
|
‡2
PTBNP|157574
|
996
|
|
|
‡2
BLBNB|000577147
|
996
|
|
|
‡2
PTBNP|1370755
|
996
|
|
|
‡2
PTBNP|1578617
|
996
|
|
|
‡2
BLBNB|000331333
|
996
|
|
|
‡2
ISNI|0000000077933096
|
996
|
|
|
‡2
NTA|075123428
|
996
|
|
|
‡2
NII|DA11054679
|
996
|
|
|
‡2
LC|ns2017001991
|
996
|
|
|
‡2
LC|n 98063279
|
996
|
|
|
‡2
PTBNP|934237
|
996
|
|
|
‡2
BLBNB|000195688
|
996
|
|
|
‡2
PTBNP|716367
|
996
|
|
|
‡2
DNB|1099917018
|
996
|
|
|
‡2
RERO|A003889564
|
996
|
|
|
‡2
DNB|1074716388
|
996
|
|
|
‡2
BIBSYS|90753417
|
996
|
|
|
‡2
WKP|Q130880403
|
996
|
|
|
‡2
PTBNP|1529249
|
996
|
|
|
‡2
LC|nb2006025017
|
996
|
|
|
‡2
RERO|A025649905
|
996
|
|
|
‡2
NKC|jo2016913633
|
996
|
|
|
‡2
BNF|17981264
|
996
|
|
|
‡2
PTBNP|154364
|
996
|
|
|
‡2
PTBNP|1840055
|
996
|
|
|
‡2
WKP|Q99497901
|
996
|
|
|
‡2
BIBSYS|11043003
|
996
|
|
|
‡2
SUDOC|223483249
|
996
|
|
|
‡2
PTBNP|1403892
|
996
|
|
|
‡2
SUDOC|073997021
|
996
|
|
|
‡2
PLWABN|9813255032805606
|
996
|
|
|
‡2
ISNI|000000003592970X
|
996
|
|
|
‡2
LC|n 84162985
|
996
|
|
|
‡2
PLWABN|9811323345605606
|
996
|
|
|
‡2
ISNI|0000000066337555
|
996
|
|
|
‡2
PTBNP|1279398
|
996
|
|
|
‡2
SUDOC|194570924
|
996
|
|
|
‡2
BLBNB|001478640
|
996
|
|
|
‡2
ISNI|0000000069910097
|
996
|
|
|
‡2
PTBNP|200113
|
996
|
|
|
‡2
SZ|1099917018
|
996
|
|
|
‡2
DNB|1060758385
|
996
|
|
|
‡2
ISNI|0000000068375643
|
996
|
|
|
‡2
PTBNP|286679
|
996
|
|
|
‡2
ISNI|0000000068490246
|
996
|
|
|
‡2
ISNI|0000000448744658
|
996
|
|
|
‡2
ISNI|0000000504694211
|
996
|
|
|
‡2
DNB|1079870350
|
996
|
|
|
‡2
LC|n 2010042853
|
996
|
|
|
‡2
BLBNB|000595843
|
996
|
|
|
‡2
PTBNP|1734665
|
996
|
|
|
‡2
LC|nb2015014834
|
996
|
|
|
‡2
LC|no2016008375
|
996
|
|
|
‡2
PTBNP|1653646
|
996
|
|
|
‡2
RERO|A003538873
|
996
|
|
|
‡2
BLBNB|000279968
|
996
|
|
|
‡2
PTBNP|1889523
|
996
|
|
|
‡2
ISNI|0000000079711390
|
996
|
|
|
‡2
ISNI|0000000069530027
|
996
|
|
|
‡2
SUDOC|248378287
|
996
|
|
|
‡2
PTBNP|1251445
|
996
|
|
|
‡2
SUDOC|189880937
|
996
|
|
|
‡2
PTBNP|1590862
|
996
|
|
|
‡2
BLBNB|001508496
|
996
|
|
|
‡2
PTBNP|235346
|
996
|
|
|
‡2
PTBNP|1926984
|
996
|
|
|
‡2
SUDOC|067016731
|
996
|
|
|
‡2
LC|n 90677089
|
996
|
|
|
‡2
PTBNP|209976
|
996
|
|
|
‡2
ISNI|0000000070408176
|
996
|
|
|
‡2
ISNI|0000000069409745
|
996
|
|
|
‡2
ISNI|0000000069614917
|
996
|
|
|
‡2
DNB|115716823X
|
996
|
|
|
‡2
RERO|A018987822
|
996
|
|
|
‡2
LC|n 85046060
|
996
|
|
|
‡2
LC|n 95921386
|
997
|
|
|
‡a
1957 0 lived 0 0
‡9
1
|
998
|
|
|
‡a
Tavares, Antonio,
‡2
CAOONL|ncf10277982
‡3
single date
‡3
standard number
|
998
|
|
|
‡a
Tavares, Antonio
‡2
ISNI|0000000076244854
‡3
suggested
‡3
partial date, publisher
‡3
single date
|
998
|
|
|
‡a
Tavares, Antonio
‡2
ISNI|0000000076244854
‡3
suggested
‡3
partial date, publisher
‡3
single date
|
998
|
|
|
‡a
Tavares, Antonio,
‡2
ISNI|0000000076244854
‡3
suggested
‡3
partial date, publisher
‡3
single date
|
999
|
|
|
‡2
B2QBIB|0000227664
|