Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 351 from your keywords: subject="Logic"
First Page Previous 36
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
First Page Previous 36