Elements of mathematical logic model theory - Kreisel, Georg; Krivine, Jean Louis joint auth. (Amsterdam North-Holland Pub., 1967)
Keywords: Logic, Symbolic and mathematical; Mathematical models