Kreisel, G.; Krivine, J. L. Modelltheorie Kreisel, G.; Krivine, J. L. - Berlin-Heidelberg-New York Springer 1972