The theory of models : proceedings of the 1963 International symposium at Berkeley

Enregistré dans:
Détails bibliographiques
Auteur principal : International Symposium on the theory of models
Collectivités auteurs : International Symposium on the theory of models 1963 Berkeley, Cal. (Auteur), University of California Berkeley (Organisateur de réunion), Association for symbolic logic (Organisateur de réunion)
Autres auteurs : Addison John West (Éditeur scientifique), Henkin Leon (Éditeur scientifique), Tarski Alfred (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : The theory of models : proceedings of the 1963 International symposium at Berkeley / edited by J. W. Addison,... Leon Henkin,... Alfred Tarski,...
Publié : Amsterdam : North-Holland , 1965
Description matérielle : 1 vol. (XV-494 p.)
Collection : Studies in logic and the foundations of mathematics
Sujets :
Documents associés : A pour extrait: Logics appropriate to empirical theories
LEADER 02384cam a2200649 4500
001 PPN014937956
003 http://www.sudoc.fr/014937956
005 20240531154900.0
020 |a US  |b 667051 //r84 
035 |a 005631467  |9 sudoc 
035 |a (OCoLC)490343159 
035 |a ocm00373236 
035 |z ocm9331295 
035 |a LX002100100501P 
035 |a PRITEC.AIX.011410215001 
035 |a sib0091431 
100 |a 19840509d1965 k y0frey0103 ba 
101 0 |a eng 
102 |a NL 
105 |a a 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 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a The theory of models  |e proceedings of the 1963 International symposium at Berkeley  |f edited by J. W. Addison,... Leon Henkin,... Alfred Tarski,... 
210 |a Amsterdam  |c North-Holland  |d 1965 
215 |a 1 vol. (XV-494 p.)  |c ill., portr.  |d 23 cm 
225 2 |a Studies in logic and the foundations of mathematics 
305 |a Autres tirages : 1970, 1972, 1978 
320 |a Bibliogr. p. 442-492. 
410 | |0 013286838  |t Studies in logic and the foundations of mathematics  |x 0049-237X 
413 | |0 191373087  |t Logics appropriate to empirical theories  |f Patrick Suppes  |c [Amsterdam]  |n [North-Holland]  |d 1965  |p 1 vol. (p. 364-375) 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
606 |3 PPN027551385  |a Modèles mathématiques  |2 rameau 
608 |3 PPN02886431X  |a Actes de congrès  |2 rameau 
676 |a 164 
680 |a BC135  |b .I586 1963 
686 |a 00Bxx  |c 2010  |2 msc 
686 |a 03-06  |c 2010  |2 msc 
686 |a 03Cxx  |c 2010  |2 msc 
686 |a 03-02  |c 2010  |2 msc 
686 |a 03-XX  |c 2010  |2 msc 
702 1 |3 PPN12895325X  |a Addison  |b John West  |4 340 
702 1 |3 PPN055795900  |a Henkin  |b Leon  |f 1921-2006  |4 340 
702 1 |3 PPN028527704  |a Tarski  |b Alfred  |f 1901-1983  |4 340 
710 1 2 |3 PPN076532410  |a International Symposium on the theory of models  |f 1963  |e Berkeley, Cal.  |4 070 
712 0 2 |3 PPN027926265  |a University of California  |c Berkeley  |4 557 
712 0 2 |3 PPN029945267  |a Association for symbolic logic  |4 557 
801 3 |a FR  |b Abes  |c 20210329  |g AFNOR  |h 005631467 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
930 |5 441092208:693395826  |b 441092208  |j u 
979 |a CCFA 
998 |a 892595