Foundations of Computing Dynamic Logic (Paperback)

Logic Programming Proceedings of the 1999 International Conference on Logic Programming

Handbook of Philosophical Logic: Volume 17

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

Implementations of Logic Programming Systems (Hardcover)

Handbook of Logic in Computer Science Handbook of Logic in Computer Science: Volume 3: Semantic Structures (Hardcover)

Lecture Notes in Computer Science Computer Science Logic: 12th International Workshop Csl 98 Annual Conference of the Eacsl Brno Czech Republic Augus Book 1584 (Paperback)

Mathematical Theory of Computation - by Zohar Manna (Paperback)

Arithmetic and Logic in Computer Systems

Introduction to Mathematical Logic, Sixth Edition

Logic Programming 89 (Paperback)

A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity

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

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 A Concise Introduction to Logic (Paperback) 0357798686 9780357798683

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

The Languages of Logic An Introduction to Formal Logic

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

Dynamic Programming: Models and Applications (Dover Books on Computer Science)

Ifcolog Journal of Logics and Their Applications Volume 1 Number 1 (Paperback)

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

Studies in Computational Intelligence Knowledge-Driven Computing: Knowledge Engineering and Intelligent Computations Book 102 (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

Logic Colloquium '99: Lecture Notes in Logic 17

Logic as a Tool A Guide to Formal Logical Reasoning

Lecture Notes in Computer Science Computer Science Logic: 11th International Workshop Csl 97 Annual Conference of the Eacsl Aarhus Denmark August 23- Book 1414 (Paperback)

Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

Introduction to Symbolic Logic and Its Applications

Logic: An Introductory Course

Latin '92 - (Lecture Notes in Computer Science) by Imre Simon (Paperback)

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

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

Foundations of Computing: Essential for Computing Studies, Profession And Entrance Examinations - 5th Edition

Pre-Owned Mathematics and Its Applications: Computation Logic Philosophy: A Collection of Essays (Paperback)

A Concise Introduction to Logic

Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings