Mathematical Logic and Formalized Theories
A Survey of Basic Concepts and Results
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results focuses on basic concepts and results of mathematical logic and the study of formalized theories.The manuscript first elaborates on sentential logic and first-order predicate logic. Discussions focus on first-order predicate logic with identity and operation symbols, first-order predicate logic with identity, completeness theorems, elementary theories, deduction theorem, interpretations, truth, and validity, sentential connectives, and tautologies. The text then tackles second-order predicate logic, as well as second-order theories, theory of definition, and se…
Mehr
CHF 70.90
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-1-4832-5797-6
- EAN: 9781483257976
- Produktnummer: 36169892
- Verlag: Elsevier Science & Techn.
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Seitenangabe: 248 S.
- Plattform: PDF
- Auflage: 2. Auflage
11 weitere Werke von Robert L. Rogers:
Bewertungen
Anmelden