164
Kreisel, G.
Elements of mathematical logic (model theory) / G. Kreisel and J. L. Krivine .- Amsterdam: North-Holland Publishing, 1967 .- xi, 222p. .- ( Studies in logic and the foundations of mathematics
Translation of Eléments de logique mathématique, theorie des modéles
Subject Headings:
Logic, Symbolic and mathematical;
Author Added Entry:
Krivine, J. L.;
Copy Details:
Acc. No.: A5760, Full Call No.: 164 K895EE, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------