Selected works in logic. Edited by Jens Erik Fenstad. (English) Zbl 0228.02001
Oslo-Bergen-Tromsö: Universitetsforlaget. 732 p. Kr. 168.00 (1970).
MSC:
03-XX | Mathematical logic and foundations |
03-02 | Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations |
03H15 | Nonstandard models of arithmetic |
03H05 | Nonstandard models in mathematics |
03C10 | Quantifier elimination, model completeness, and related topics |