Foundations of Computing Dynamic Logic (Paperback)

Foundations of Computing Dynamic Logic (Paperback)

Lecture Notes in Computer Science: First-Order Dynamic Logic (Paperback)

Logic Programming Proceedings of the 1999 International Conference on Logic Programming

Logic in Computer Science: Modelling and Reasoning about Systems

Handbook of Philosophical Logic: Volume 17

Pre-Owned Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (Hardcover) 0262182181 9780262182188

Logic in Computer Science: Modelling and Reasoning about Systems

Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods

Dover Books on Computer Science The Art of Modeling Dynamic Systems (Paperback)

Progress in Computer Science and Applied Mathematical Logic: Foundations for Information Science Book 25 (Hardcover)

Logic in Computer Science: Modelling and Reasoning about Systems

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition

Logic for Computer Scientists

A Handbook of Logic (Paperback)

An Introduction to Logic Hardcover

Digital Logic Design: A Rigorous Approach

Arithmetic and Logic in Computer Systems

Texts in Computer Science: Logic for Artificial Intelligence and Information Technology (Paperback)

Fundamentals of Digital Logic and Microcontrollers

Introduction to Mathematical Logic, Sixth Edition

Introduction to Mathematical Logic, Sixth Edition

Lecture Notes in Computer Science Edinburgh Lcf: A Mechanized Logic of Computation Book 78 (Paperback)

Mathematical Logic for Computer Science

Logic Programming 89 (Paperback)

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)

Pre-Owned Lecture Notes in Computer Science: Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium Kgc 97 Vienna Austria August 25-29 1997 Proceedings (Paperback)

Symbolic Logic

Universitext A Course on Mathematical Logic (Paperback)

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

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

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

The Elements of Logic: Theoretical and Practical (Paperback)

Semantics and Logics of Computation

Pre-Owned Lecture Notes in Computer Science: Logic Based Program Synthesis and Transformation: 11th International Workshop Lopstr 2001 Paphos Cyprus November 28-30 2001. Selected Papers (Paperback)

Lecture Notes in Computer Science Logic-Based Program Synthesis and Transformation: 32nd International Symposium Lopstr 2022 Tbilisi Georgia September Book 13474 (Paperback)

Logical Foundations of Computer Science: International Symposium Lfcs 2022 Deerfield Beach Fl Usa January 10-13 20 (Paperback)

Computation and Logic in the Real World: Third Conference on Computability in Europe CIE 2007 Siena Italy June 18-23 (Paperback)

Declarative Logic Programming: Theory, Systems, and Applications

The Laws of Discursive Thought: Being a Text-Book of Formal Logic (Classic Reprint)

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Paperback)

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Handbook of Logic in Artificial Intelligence and Logic Programming Volume 5: Logic Programming Volume 5: Logic Programming

Introduction to Logic

An Introduction to Philosophical Logic

The Principles of Logic Vol II Paperback

Theory of Computation for Software Developers

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

Logics in Artificial Intelligence: European Workshop Jelia 98 Dagstuhl Germany October 12-15 1998 Proceedings (Paperback)