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

Handbook of Philosophical Logic: Volume 17

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

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 and Computation: Interactive Proof with Cambridge LCF

A Handbook of Logic (Paperback)

Implementations of Logic Programming Systems (Hardcover)

Digital Logic Design: A Rigorous Approach

Arithmetic and Logic in Computer Systems

Introduction to Mathematical Logic, Sixth Edition

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)

Introduction to Logic

Practical Logic (Paperback)

Universitext A Course on Mathematical Logic (Paperback)

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

The Elements of Logic: Theoretical and Practical (Paperback)

Pre-Owned Programming Logic and Design (Paperback) 0357880870 9780357880876

The Languages of Logic An Introduction to Formal Logic

Pre-Owned Programming Logic and Design: Introductory 2nd Edition (Paperback) 0619063149 9780619063146

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

Declarative Logic Programming: Theory, Systems, and Applications

Introduction to Formal Logic with Philosophical Applications

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

Pre-Owned Three Views of Logic: Mathematics Philosophy and Computer Science (Paperback) 0691160449 9780691160443

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

Computer Science Logic: 23rd International Workshop CSL 2009 18th Annual Conference of the Eacsl Coimbra Portugal S (Paperback)

Introduction to Logic

An Introduction to Philosophical Logic

Theory of Computation for Software Developers

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

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)

Logic Colloquium '99: Lecture Notes in Logic 17

Handbook of Logic and Proof Techniques for Computer Science

Introduction to Symbolic Logic and Its Applications

Logic: An Introductory Course

Pre-Owned Introduction to Logic (Paperback) 0199890498 9780199890491

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

Modeling and Verification of Real-time Systems Formalisms and Software Tools

Pre-Owned Learning computer programming: Structured logic algorithms and flowcharting (Paperback) 087835168X 9780878351688

Introduction to Symbolic Logic and Its Applications

A Concise Introduction to Logic

Essentials of Logic Programming