|
|
|
|
| LEADER |
01834cam a2200517 4500 |
| 001 |
PPN004629191 |
| 003 |
http://www.sudoc.fr/004629191 |
| 005 |
20240531154900.0 |
| 010 |
|
|
|a 0-7204-2257-4
|
| 020 |
|
|
|a US
|b 7797196 //r884
|
| 035 |
|
|
|a 014300672
|9 sudoc
|
| 035 |
|
|
|a (OCoLC)301439637
|
| 035 |
|
|
|a sib0005249
|
| 035 |
|
|
|a ocm00103466
|
| 100 |
|
|
|a 19990302h19701970k y0frey0103 ba
|
| 101 |
0 |
|
|a eng
|2 639-2
|
| 102 |
|
|
|a NL
|a GB
|
| 105 |
|
|
|a y a 100yy
|
| 106 |
|
|
|a r
|
| 181 |
|
|
|6 z01
|c txt
|2 rdacontent
|
| 181 |
|
1 |
|6 z01
|a i#
|b xxxe##
|
| 182 |
|
|
|6 z01
|c n
|2 rdamedia
|
| 182 |
|
1 |
|6 z01
|a n
|
| 183 |
|
|
|6 z01
|a nga
|2 RDAfrCarrier
|
| 200 |
1 |
|
|a Intuitionism and proof theory
|e proceedings of the summer conference at Buffalo N.Y. 1968
|f edited by A. Kino, J. Myhill, R. E. Vesley
|
| 210 |
|
|
|a Amsterdam
|a London
|c North-Holland
|d cop. 1970
|
| 215 |
|
|
|a 1 vol. (VIII-516 p.)
|d 22 cm
|
| 225 |
1 |
|
|a Studies in logic and the foundations of mathematics
|x 0049-237X
|
| 320 |
|
|
|a Notes bibliogr.
|
| 410 |
|
| |
|0 013286838
|t Studies in logic and the foundations of mathematics
|x 0049-237X
|
| 606 |
|
|
|3 PPN027392767
|a Mathématiques intuitionnistes
|2 rameau
|
| 606 |
|
|
|3 PPN03145836X
|a Théorie de la démonstration
|2 rameau
|
| 608 |
|
|
|3 PPN02886431X
|a Actes de congrès
|2 rameau
|
| 676 |
|
|
|a 164
|
| 680 |
|
|
|a QA9
|b .C742 1968
|
| 700 |
|
1 |
|3 PPN081958153
|a Kino
|b Akiko
|4 651
|
| 701 |
|
1 |
|3 PPN260351253
|a Myhill
|b John R.
|f 1923-1987
|c mathématicien
|4 651
|
| 701 |
|
1 |
|3 PPN081958277
|a Vesley
|b Richard Eugène
|f 1932-....
|4 651
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20230106
|g AFNOR
|h 014300672
|
| 801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
| 801 |
|
1 |
|a US
|b OCLC
|g AACR2
|
| 801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
| 979 |
|
|
|a PHILO
|
| 930 |
|
|
|5 441092107:252936698
|b 441092107
|a L 2920
|j s
|
| 991 |
|
|
|5 441092107:252936698
|a Rétroconversion Philosophie
|
| 998 |
|
|
|a 445274
|
Nantilus
