Intro to Logic

Simple item page
dc.contributor.authorBarland, Ian
dc.contributor.authorKolaitis, Phokion
dc.contributor.authorVardi, Moshe
dc.contributor.authorFelleisen, Matthias
dc.contributor.authorGreiner, John
dc.date.accessioned2022-05-03T14:32:36Z
dc.date.available2022-05-03T14:32:36Z
dc.date.issued2010-06-11
dc.description.abstractAn introduction to reasoning with propositional and first-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).
dc.description.noteThis work was created using the Connexions authoring platform. This platform will be retired as of the end of 2021.  This work has been migrated to PDF format for continuous access to the educational content, however any embedded links within the text to the legacy platform may no longer be accessible.
dc.digitization.specificationsContent was converted from legacy website (HTML) to accessible (tagged and OCRd) PDF format.
dc.format.extent142 pp
dc.identifier.citationBarland, Ian, Kolaitis, Phokion, Vardi, Moshe, et al.. "Intro to Logic." (2010) Rice University: <a href="https://hdl.handle.net/1911/112211">https://hdl.handle.net/1911/112211</a>.
dc.identifier.digitalcol10154-FINAL
dc.identifier.urihttps://hdl.handle.net/1911/112211
dc.language.isoeng
dc.publisherRice University
dc.rightsThis work is licensed under a Creative Commons Attribution License (BY 1.0)
dc.rights.urihttps://creativecommons.org/licenses/by/1.0/
dc.subjectScience and Technology
dc.subject.keywordboolean algebra
dc.subject.keywordfirst order logic
dc.subject.keywordinference rule
dc.subject.keywordinterpretation
dc.subject.keywordlogic
dc.subject.keywordmodel
dc.subject.keywordproof
dc.subject.keywordproposition
dc.subject.keywordpropositional logic
dc.subject.keywordquantifier
dc.subject.keywordtruth table
dc.titleIntro to Logic
dc.type.dcmiText
dc.type.genreInstructional and educational works
dcterms.accessRightsfreely accessible, openly licensed text
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
col10154-FINAL.pdf
Size:
1.21 MB
Format:
Adobe Portable Document Format
Download
Collections
OpenStax CNX