The theory of models : proceedings of the 1963 International Symposium at Berkeley /

Guardado en:
Autores Corporativos: International Symposium on the Theory of Models Berkeley, Calif.), University of California, Berkeley., Association for Symbolic Logic., International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Otros Autores: Addison, J. W. 1930- (Editor )
Formato: Libro
Idioma:English
Publicado: Amsterdam : North-Holland, 1965.
Series:Studies in logic and the foundations of mathematics
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
LEADER 01472nam a22002535a 4500
001 MAT.inmabb002214
008 840509s1965####ne#c#####b####100#0#eng#d
005 20160523153754.0
245 1 4 |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 :  |b North-Holland,  |c 1965. 
300 |a xv, 494 p. :  |b 1 retr. ;  |c 23 cm. 
440 0 |a Studies in logic and the foundations of mathematics 
500 |a "Symposium ... held at the University of California, Berkeley, from June 25 to July 11, 1963 ... sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Science of the International Union of the History and Philosophy of Science." 
504 |a Incluye: A bibliography of the theory of models / J.W. Addison, Karel de Bouvère, and William B. Pitt (p. 442-492). 
510 4 |a MR,  |c 33 #3878 
020 |a 0720422337 
111 2 |a International Symposium on the Theory of Models  |d (1963 :  |c Berkeley, Calif.) 
700 1 |a Addison, J. W.  |q (John West),  |d 1930-  |4 edt 
710 2 |a University of California, Berkeley. 
710 2 |a Association for Symbolic Logic. 
710 2 |a International Union of the History and Philosophy of Science.  |b Division of Logic, Methodology and Philosophy of Science. 
084 |a 03Cxx (03-06)  |2 msc2000 
010 |a  66007051  
859 |h 03  |i In61-1963  |p A-3876  |b BIB. MATEMATICA