Elements of mathematical logic.
Subtitle: (Model theory)
By: Georg Kreisel and J. L. Krivine.
Contributors: Krivine, J. L.
Series: Studies in logic and the foundations of mathematics
Publisher: North Holland
Published: 1971
Place of publication: Amsterdam
Number of pages: 231
Subjects: Logic, Symbolic and mathematical