forall x : an introduction to formal logic / P. D. Magnus.
Material type:
TextPublisher: P.D. Magnus, Distributor: BCcampus, BC Open Textbook Project Edition: version 1.29 [120106]Description: 1 online resourceSubject(s): Logic -- TextbooksGenre/Form: Electronic books.LOC classification: BC71 | M34 2012Online resources: BC Open Textbook Project Summary: "forall x is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic."--BCcampus website.
| Item type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
eBook
|
Digital Library
Resources in this library are accessible in digital format e.g. eBooks or eJournals accessible online. |
BC71 M34 2012 (Browse shelf(Opens below)) | Link to resource | Available |
Browsing Digital Library shelves, Shelving location: Online Access Close shelf browser (Hides shelf browser)
|
|
|
No cover image available | No cover image available | No cover image available | No cover image available | ||
| B3999.M5 J3713 2018 Moral History from Herodotus to Diodorus Siculus | B4377 .K4558 2018 Kierkegaard, Literature, and the Arts | B4378.P79 M33 2015 Kierkegaard as Psychologist | BC71 M34 2012 forall x : | BC71 .M342 2018eb forall x Calgary remix : | BC71 .M342 2019eb forall x, Calgary : | BC71 .S48 2017eb Sets, logic, computation : |
This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License.
This bibliographic record is available under the Creative Commons CC0 "No Rights Reserved" license.
"forall x is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic."--BCcampus website.
Description based on version viewed on BCcampus OpenEd website; title from pdf title page (viewed on November 4, 2013).
There are no comments on this title.