|
|
|
|
| LEADER |
01238nam a22002777a 4500 |
| 001 |
378506 |
| 008 |
871201t19521952xxe ||| |||| 00| 0 eng d |
| 009 |
PPN005505526 |
| 020 |
|
|
|a 0444100881 (American Elsevier) :
|c 78.50 USD (rel.)
|
| 020 |
|
|
|a 0720421039 (North-Holland) (rel.)
|
| 024 |
|
|
|a 9780720421033
|
| 041 |
0 |
|
|a eng
|
| 082 |
|
|
|a 511.3
|
| 084 |
|
|
|a F.4
|
| 084 |
|
|
|a 02.0. 1958
|
| 100 |
1 |
|
|a Kleene, Stephen Cole,
|d 1909-1994.
|
| 245 |
1 |
0 |
|a Introduction to metamathematics
|c by Stephen Cole Kleene,...
|
| 260 |
|
|
|a Amsterdam ;
|a London :
|b North-Holland publishing Company ;
|a Groningen :
|b P. Noordhoff,
|c 1952.
|
| 300 |
|
|
|a 1 vol. (X-550 p.) ;
|c 23 cm.
|
| 490 |
1 |
|
|a Bibliotheca mathematica : a series of monographs on pure and applied mathematics
|v 1
|
| 500 |
|
|
|a Autres tirages : 1957, 1959, 1962, 1964, 1967, 1971, 1974, 1980, 1988, 1991, 1996, 2000
|
| 504 |
|
|
|a Bibliographie p. [517]-537. Index
|
| 650 |
|
|
|a Métamathématique
|
| 650 |
|
|
|a Logique symbolique et mathématique
|
| 776 |
0 |
|
|t Kleene, Stephen Cole, 1909-1994. Introduction to metamathematics.
|c Groningen, Wolters-Noordhoff Pub. [1971]
|
| 997 |
|
|
|0 378506
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/IDP/
|z Orléans, IDP, 152 KLE
|z Orléans, IDP, 1832 KLE
|
