forall x : An Introduction to Formal Logic

Magnus, P.D.

dc.contributor.author	Magnus, P.D.
dc.creator	Magnus, P.D.
dc.date.accessioned	2018-02-26T21:00:09Z
dc.date.available	2018-02-26T21:00:09Z
dc.date.issued	2012
dc.identifier	6af37318-6aaf-498c-82aa-ecb5b5873d9d
dc.identifier.uri	https://openlibrary-repo.ecampusontario.ca/jspui/handle/123456789/435
dc.description.tableofcontents	1. What is logic?
dc.description.tableofcontents	2. Sentential logic
dc.description.tableofcontents	3. Truth tables
dc.description.tableofcontents	4. Quantified logic
dc.description.tableofcontents	5. Formal semantics
dc.description.tableofcontents	6. Proofs
dc.language.iso	eng	en_US
dc.relation.isformatof	https://archive.org/details/forallx
dc.rights	CC BY \| https://creativecommons.org/licenses/by/4.0/	en_US
dc.subject	Logic
dc.subject	Semantics
dc.title	forall x : An Introduction to Formal Logic	en_US
dc.type	Book
dcterms.accessRights	Open Access
dcterms.educationLevel	University - Undergraduate
dc.identifier.slug	https://openlibrary.ecampusontario.ca/catalogue/item/?id=6af37318-6aaf-498c-82aa-ecb5b5873d9d
ecO-OER.Adopted	Yes
ecO-OER.AncillaryMaterial	No
ecO-OER.InstitutionalAffiliation	State University of New York, Albany	en_US
ecO-OER.ISNI	0000 0001 2152 2404
ecO-OER.Reviewed	No
ecO-OER.AccessibilityStatement	Unknown
lrmi.learningResourceType	Learning Resource - Textbook
ecO-OER.POD.compatible	Yes
dc.description.abstract	forall x is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.	en_US
dc.description.abstract	Description based on version viewed on BCcampus OpenEd website; title from pdf title page (viewed on November 4, 2013).	en_US
dc.subject.other	Social Sciences - Philosophy
ecO-OER.ItemType	Textbook
ecO-OER.MediaFormat	PDF