The theory of models : proceedings of the 1963 International symposium at Berkeley
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Livre papier |
| Sprache: | Anglais |
| Veröffentlicht: |
Amsterdam [etc.] :
North-Holland
1965.
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
|
| Schlagworte: | |
| Anmerkung: |
En frontispice : "Dedicated to Thoralf Skolem (1887-1963)" Autres tirages : 1970 (2e), 1972(3e), 1978 |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 01498nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 376679 | ||
| 008 | 840509s1965 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN014937956 | ||
| 041 | 0 | |a eng | |
| 082 | |a 164 | ||
| 084 | |a 00Bxx. 2010 | ||
| 084 | |a 03-06. 2010 | ||
| 084 | |a 03Cxx. 2010 | ||
| 084 | |a 03-02. 2010 | ||
| 084 | |a 03-XX. 2010 | ||
| 111 | 2 | |a International Symposium on the theory of models |d (1963 |c :Berkeley, Cal.). | |
| 245 | 1 | 0 | |a The theory of models : |b proceedings of the 1963 International symposium at Berkeley |c edited by J. W. Addison,... Leon Henkin,... Alfred Tarski,... |
| 260 | |a Amsterdam [etc.] : |b North-Holland, |c 1965. | ||
| 300 | |a 1 vol. (XV-494 p.) : |b ill., portr. ; |c 23 cm. | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics | |
| 500 | |a En frontispice : "Dedicated to Thoralf Skolem (1887-1963)" | ||
| 500 | |a Autres tirages : 1970 (2e), 1972(3e), 1978 | ||
| 504 | |a Bibliogr. p. 442-492. | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Modèles mathématiques | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Tarski, Alfred, |d 1901-1983. |4 pbd | |
| 700 | 1 | |a Addison, John West, |d 1930- |4 pbd | |
| 700 | 1 | |a Henkin, Leon, |d 1921-2006. |4 pbd | |
| 700 | 1 | |a Skolem, Thoralf, |d 1887-1963. |4 dte | |
| 710 | 2 | |a University of California. |4 orm | |
| 710 | 2 | |a Association for symbolic logic. |4 orm | |
| 997 | |0 376679 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/IDP/ |z Orléans, IDP, 2088 ADD |z Orléans, IDP, 2105 ADD |z Orléans, IDP, CO 35 ADD | ||