This introduction to mathematical logic stresses the use of logical methods in attacking nontrivial problems. It covers the logic of classes, of propositions, of propositional functions, and the general syntax of language, with a brief introduction to so-called undecidability and incompleteness theorems; and much more. 1950 edition.
發表於2025-01-01
The Elements of Mathematical Logic 2025 pdf epub mobi 電子書 下載
圖書標籤:
The Elements of Mathematical Logic 2025 pdf epub mobi 電子書 下載