Text

forall x: Calgary

---

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

160 THO f

Publisher

: ., 2022

Collation

-

Language

English

ISBN/ISSN

-

Classification

160

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Logic

Specific Detail Info

-

Statement of Responsibility

Aaron Thomas-Bolduc, Richard Zach, Tim Button

Other Information

Cataloger

maya

Source

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment