|
|
|
|
| LEADER |
00721nam a22002291 4500 |
| 001 |
PPN004856414 |
| 005 |
20211105112700.0 |
| 009 |
DYNIX_BUNAN_204299 |
| 010 |
0 |
0 |
|a 0415023351
|
| 100 |
0 |
0 |
|a d u fre 0103
|
| 101 |
0 |
0 |
|a eng
|
| 102 |
0 |
0 |
|a GB
|
| 200 |
1 |
|
|a Proof, logic and formalization
|
| 210 |
|
|
|a London
|a New York
|c Routledge
|d 1992
|
| 215 |
0 |
0 |
|a X-241 p.
|d 23 cm
|
| 606 |
0 |
0 |
|a Logique mathématique
|
| 606 |
|
|
|a Théorie de la démonstration
|
| 702 |
0 |
0 |
|a Detlefsen
|b Michael
|f 1948-2019
|4 340
|
| 801 |
|
|
|a FR
|b DYNIX_BUNAN
|c 19960311
|g AFNOR
|
| 979 |
|
|
|a LET
|
| 993 |
|
|
|a 0082409627
|b LET
|c S 240962
|d EM
|e PHILMAG
|f I
|g 18-07-1995
|h 11-03-1996
|i 19-04-2000
|k 30.49
|o 10-10-2000
|p 2
|s S 240962
|t EM
|u LPHIMG
|v i
|
| 998 |
|
|
|a 224567
|
Nantilus
