Kreisel, G.

Elements of mathematical logic : model theory / G. Kreisel and J. L. Krivine - Amsterdam : North-Holland Pub., c1967 - xi, 221 p. ; 23 cm. - Studies in logic and the foundations of mathematics .

Translated from the French into English Translation of : Elements. de togique mathmatique, theorie des mode

f 46.00


Logic, Symbolic and mathematical

164