|
|
|
|
| LEADER |
01251nam a22003017a 4500 |
| 001 |
376695 |
| 008 |
990302s1975 xxe ||| |||| 00| 0 eng d |
| 009 |
PPN004783301 |
| 020 |
|
|
|a 0720422825 (North-Holland, rectifié)
|
| 020 |
|
|
|a 0444106421 (American Elsevier)
|
| 020 |
|
|
|a 0720422000 (North-Holland) (relié)
|
| 041 |
0 |
|
|a eng
|
| 084 |
|
|
|a 02-02. 1991
|
| 084 |
|
|
|a 03-03. 1991
|
| 084 |
|
|
|a 03-06. 1991
|
| 084 |
|
|
|a 03G30. 1991
|
| 084 |
|
|
|a 18F10. 1991
|
| 111 |
2 |
|
|a Logic colloquium
|d (1973
|c :Bristol).
|
| 245 |
1 |
0 |
|a Logic colloquium '73 :
|b proceedings of the Logic colloquium, Bristol, July 1973
|c edited by H.E. Rose,... and J.C. Shepherdson,...
|
| 260 |
|
|
|a Amsterdam [etc.] :
|b North-Holland publishing company ;
|a New-York :
|b American Elsevier publishing company,
|c 1975.
|
| 300 |
|
|
|a 1 volume (VIII-513 pages) ;
|c 23 cm.
|
| 490 |
1 |
|
|a Studies in logic and the foundations of mathematics
|v volume 80
|
| 504 |
|
|
|a Bibliographie en fin de contributions
|
| 650 |
|
|
|a Logique symbolique et mathématique
|
| 650 |
|
|
|a Actes de congrès
|
| 700 |
1 |
|
|a Rose, Harvey Ernest,
|d 1936-
|4 pbd
|
| 700 |
1 |
|
|a Shepherdson, John C.,
|d 1926-2015.
|4 pbd
|
| 997 |
|
|
|0 376695
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/IDP/
|z Orléans, IDP, CO 49 ROS
|
