|
International Symposium on the Theory of Models (1963 : Berkeley, Calif.)
The theory of models : proceedings of the 1963 International Symposium at Berkeley / edited by J. W. Addison, Leon Henkin, Alfred Tarski.
— Amsterdam : North-Holland, 1965. xv, 494 p. : 1 retr. ; 23 cm. — (Studies in logic and the foundations of mathematics)
"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."
Incluye: A bibliography of the theory of models / J.W. Addison, Karel de Bouvère, and William B. Pitt (p. 442-492).
ISBN 0720422337
|