The theory of models : proceedings of the 1963 internationl symposium /
edited by J. W. Addison, Leon Henkin and Alfred Tarski
- Amsterdam : North-Holland Pub., 1965
- xv, 494 p. ; 23 cm.
- Studies in logic and the foundations of mathematics .
Includes bibliographical references and index
Df 65
Logic, Symbolic and mathematical Mathematical models