Produktbild
Robert L. Rogers

Mathematical Logic and Formalized Theories

A Survey of Basic Concepts and Results

Ebook (PDF Format)

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)

Versandfertig innerhalb 1-3 Werktagen
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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.