Browsing by Author "Kolaitis, Phokion"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Intro to Logic
    (Rice University, 2010-06-11) Barland, Ian; Kolaitis, Phokion; Vardi, Moshe; Felleisen, Matthias; Greiner, John
    An introduction to reasoning with propositional and first-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).