Intro to Logic
Date
2010-06-11
Journal Title
Journal ISSN
Volume Title
Publisher
Rice University
Abstract
An introduction to reasoning with propositional and first-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).
Description
Advisor
Degree
Type
Keywords
Science and Technology
Citation
Barland, Ian, Kolaitis, Phokion, Vardi, Moshe, et al.. "Intro to Logic." (2010) Rice University: https://hdl.handle.net/1911/112211.
Has part(s)
Forms part of
Published Version
Rights
This work is licensed under a Creative Commons Attribution License (BY 1.0)