Programming with Higher-Order Logic (Hardcover)

Programming with Higher-Order Logic

Logic in Computer Science: Modelling and Reasoning about Systems

Linear Logic in Computer Science

Logic Programming Proceedings of the 1999 International Conference on Logic Programming

An Introduction to Non-Classical Logic: From If to Is

Handbook of Practical Logic and Automated Reasoning

Systems of Logic

Introduction to Programming Using Visual Basic, Loose-Leaf Edition

Systems of Logic

Semantics and Logics of Computation

Logic Colloquium 2005

Logic Programming 89 (Paperback)

Essentials of Programming in Mathematica

Free Logic: Selected Essays

Introduction to Functional Programming Systems Using Haskell

Logic in Computer Science: Modelling and Reasoning about Systems

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Functional Programming Using F#

Semiotics of Programming

Logic Programming Logic Programming: Proceedings of the 1999 International Conference on Logic Programming (Paperback)

Pre-Owned Logic in Computer Science 2ed (Paperback) by Michael Huth Mark Ryan

A Philosophical Introduction to Higher-order Logics

Pre-Owned Logic Programming 88: Proceedings of the 7th Conference Tokyo Japan April 11-14 1988 (Paperback)

Logic for Computer Science and Artificial Intelligence

Logic for Programming Artificial Intelligence and Reasoning: 14th International Conference LPAR 2007 Yerevan Armeni (Paperback)

Pre-Owned An Introduction to Computer Logic (Hardcover) 0134800125 9780134800127

Logic for Computer Scientists

Pre-Owned Implementations of Logic Programming Systems (Hardcover)

Logic Language Information and Computation (Paperback)

An Introduction to Logic Hardcover

Logic in Computer Science: Modelling and Reasoning about Systems

Digital Logic for Computing (Paperback)

Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

PACKAGE: Logic and Computer Design Fundamentals

Lecture Notes in Computer Science Computer Science Logic: 13th International Workshop Csl 99 8th Annual Conference of the Eacsl Madrid Spain Septembe Book 1683 (Paperback)

Studies in Logic and Computation Conditionals: From Philosophy to Computer Science Book 5 (Hardcover)

Pre-Owned Non-Monotonic Extensions of Logic Programming: Iclp 94 Workshop Santa Margherita Ligure Italy June 17 1994. Se (Paperback)

Introduction to Logic Design

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Proof and Disproof in Formal Logic An Introduction for Programmers

An Introduction to Mathematical Logic

Bundle: Programming Logic And Dsgn, Comprehensive, 5/E

A Mathematical Introduction to Logic

Introduction to Formal Logic with Philosophical Applications

Pre-Owned Logic and Computer Design Fundamentals Global Edition (Paperback) 1292096071 9781292096070

An Introduction to Formal Logic (Paperback)

Pre-Owned A Concise Introduction to Logic (Paperback) 0357798686 9780357798683