DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Please use this identifier to cite or link to this item:
https://openlibrary-repo.ecampusontario.ca/jspui/handle/123456789/435Full metadata record
| DC Field | Value | Language |
|---|---|---|
| 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 | - | |
| Appears in Collections: | Ontario OER Collection | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| forallx.pdf | %%dl%% | 620.72 kB | View/Open | |
| forallx.zip | 113.85 kB | zip | View/Open | |
| ECO_forall_x_COVER_v00.jpg | %%cover%%Cover image: By Free-Photos (https://pixabay.com/photo-945444/) used under CC0 (https://creativecommons.org/publicdomain/zero/1.0/) | 229.96 kB | JPEG | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.