theory of models
Subtitle: proceedings of the 1963 International Symposium at Berkeley.
Contributors: Addison, J. W.,; Henkin, Leon,; Tarski, Alfred,; University of California, Berkeley.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1965
Place of publication: Amsterdam
Language: eng
Number of pages: 494
Subjects: Logic, Symbolic and mathematical -- Congresses; Metamathematics
Notes: Bibliography: p. 442-492.