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 |
