Modern logic — a survey. Historical, philosophical, and mathematical aspects of modern logic and its applications. (English) Zbl 0464.03001
Synthese Library, Vol. 149. Dordrecht, Boston, London: D. Reidel Publishing Company. VIII, 475 p. $ 68.50; Dfl. 130.00 (1981).
MSC:
03-02 | Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations |
03-03 | History of mathematical logic and foundations |
03A05 | Philosophical and critical aspects of logic and foundations |
03Bxx | General logic |
03Cxx | Model theory |
03Dxx | Computability and recursion theory |
03Exx | Set theory |
03Fxx | Proof theory and constructive mathematics |
03Gxx | Algebraic logic |
03Hxx | Nonstandard models |
03-XX | Mathematical logic and foundations |
03F55 | Intuitionistic mathematics |
03D10 | Turing machines and related notions |
03B50 | Many-valued logic |
03G30 | Categorical logic, topoi |
03B40 | Combinatory logic and lambda calculus |
03B45 | Modal logic (including the logic of norms) |
81P10 | Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) |
03G12 | Quantum logic |
03-06 | Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations |
01A60 | History of mathematics in the 20th century |
01A65 | Development of contemporary mathematics |