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