Elements of mathematical logic : model theory - Kreisel, G. (George); Krivine, J. L. (Jean Louis) (Amsterdam : North-Holland Pub., 1967)
Translated from the French into English
Translation of : Elements. de togique mathmatique, theorie des mode
Keywords: Logic, Symbolic and mathematical