|
|
|
|
| LEADER |
00880nam a2200241 4500 |
| 001 |
PPN005659507 |
| 005 |
20031224022700.0 |
| 009 |
DYNIX_BUNAN_74779 |
| 035 |
|
|
|a XXXJ000000011646900000
|
| 100 |
|
|
|a d1955 u fre 0103
|
| 101 |
|
|
|a dut
|
| 102 |
|
|
|a NL
|
| 200 |
1 |
|
|a Mathematical interpretation of formal systems
|f by Th. Skolem, G. Hasenjaeger, G. Kreisel
|
| 210 |
|
|
|a Amsterdam
|c North-Holland publishing Company
|d 1955
|
| 215 |
|
|
|a 113 p.
|d 22 cm
|
| 225 |
1 |
|
|a Studies in Logic and the foundations of Mathematics
|v [4]
|
| 410 |
|
|
|t Studies in logic and the foundations of mathematics
|v [4]
|
| 610 |
|
|
|a Logique
|a formulation mathématique
|
| 801 |
|
|
|a FR
|b DYNIX_BUNAN
|c 19991014
|g AFNOR
|
| 852 |
|
|
|a 441092102
|g S 45 (4)
|
| 979 |
|
|
|a LET
|
| 993 |
|
|
|a 0081605167
|b LET
|c S 45 (4)
|d EM
|e PHILMAG
|f I
|g 27-11-1992
|h 21-06-1994
|i 18-04-2000
|s S 45 (4)
|t EM
|u LPHIMG
|v i
|
| 998 |
|
|
|a 265385
|
Nantilus