• Produktbild: Logic Works
  • Produktbild: Logic Works

Logic Works A Rigorous Introduction to Formal Logic

85,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.11.2021

Verlag

Taylor & Francis

Seitenzahl

668

Maße (L/B/H)

28/21/3,6 cm

Gewicht

1606 g

Sprache

Englisch

ISBN

978-0-367-46029-7

Beschreibung

Rezension

"Logic Works is a thorough treatment of core topics in elementary logic, and of several topics in intermediate logic. Its precision and rigor is a step above typical presentations of this material. It will be an invaluable resource for teachers, as well as for students of logic who want to go beyond the basics."
Fabrizio Cariani, University of Maryland

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.11.2021

Verlag

Taylor & Francis

Seitenzahl

668

Maße (L/B/H)

28/21/3,6 cm

Gewicht

1606 g

Sprache

Englisch

ISBN

978-0-367-46029-7

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Die Leseprobe wird geladen.
  • Produktbild: Logic Works
  • Produktbild: Logic Works
  • 1. Introduction to the study of logic  2. Vocabulary and syntax  3. Semantics  4. Formalization  5. Working with SL semantics  A-1. Advanced topics concerning SL semantics  6. Derivations  A-2. Advanced topics concerning the soundness and completeness of Ds  7. Reduction Trees  A-3: Advanced topics concerning the soundness and completeness of Ts  8. Vocabulary, syntax, formalization and derivations  9. Semantics and Trees for Modal and Intuitionistic Sentential Logic  A-4: Advanced Topics concerning the "soundness" and "completeness" of Dm and Tm  10. Vocabulary, syntax, formalization, and derivations  11. Semantics and trees  A-5: Advanced topics for PSL  12. Vocabulary, syntax, and formalization  13. Derivations  14. Trees and tree model semantics for QPL  15. Semantics for QPL without mixed multiple quantification  16. Semantics for QPL with mixed multiple quantification  A-6: Advanced topics for QPL  17. Higher order logic  Rule summaries