forall x: Calgary: An Introduction to Formal Logic
Magnus, P.D.; Button, Tim; Thomas-Bolduc, Aaron; Zach, Richard; Loftis, J. Robert; Trueman, Robert
ISBN 13: 9798672015576
Published by Independently published, 2020
Used
Soft cover
From
Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since August 3, 2006
This specific copy is no longer available. Here are our closest matches for forall x: Calgary: An Introduction to Formal Logic by Magnus, P.D.; Button, Tim; Thomas-Bolduc, Aaron; Zach, Richard; Loftis, J. Robert; Trueman, Robert.
About this Item
Description:
Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 50948406-6
Synopsis:
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 (symbolizing) 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. Available for free download at forallx.openlogicproject.org.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: forall x: Calgary: An Introduction to Formal...
Publisher: Independently published
Publication Date: 2020
Binding: Soft cover
Condition: Very Good