Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=Thomas-Bolduc, Aaron
cover
forall x: Calgary Remix
Comment Share
Thomas-Bolduc, Aaron

forall x 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 …

Edition
-
ISBN/ISSN
-
Collation
-
Series Title
-
Call Number
160 THO f
cover
forall x: Calgary
Comment Share
Thomas-Bolduc, AaronZach, RichardButton, Tim

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 deducti…

Edition
-
ISBN/ISSN
-
Collation
-
Series Title
-
Call Number
160 THO f