forall x: Calgary: An Introduc

Magnus, P. D., Button, Tim, Thomas-Bolduc, Aaron, Zach, Richard, Trueman, Robert

ISBN 10: 1077319851 ISBN 13: 9781077319851

Published by Independently published, 2019

Used Soft cover

From World of Books (was SecondSale), Montgomery, IL, U.S.A. Seller rating 5 out of 5 stars

AbeBooks Seller since 20 December 2007

This book is no longer available. AbeBooks has millions of books. Please enter search terms below to find similar copies.

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00086197809

Report this item

Synopsis:

An introduction to formal logic, covering truth-functional (propositional) and first-order (predicate) logic. It deals with logical notions such as entailment and satisfiablity, symbolization of English sentences using connectives and quantifiers (including identity, e.g., definite descriptions), the semantics of TFL (truth tables) and FOL (first-order interpretations), and proofs (using and natural deduction). Advanced topics discussed are the truth-functional adequacy of propositional logic, normal forms, the soundness of the proof system, and the basics of modal logic. 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 Introduc
Publisher: Independently published
Publication Date: 2019
Binding: Soft cover
Condition: Very Good

AbeBooks offers millions of new, used, rare and out-of-print books, as well as cheap textbooks from thousands of booksellers around the world. Shopping on AbeBooks is easy, safe and 100% secure - search for your book, purchase a copy via our secure checkout and the bookseller ships it straight to you.