Programming with Higher-Order Logic

Programming with Higher-Order Logic

Lecture Notes in Computer Science Higher-Order Algebra Logic and Term Rewriting: Second International Workshop Hoa 95 Paderborn Germany September 1 Book 1074 (Paperback)

Texts in Computer Science Logic for Applications (Hardcover)

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

Lecture Notes in Computer Science: First-Order Dynamic Logic (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)

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

Mathematical Logic for Computer Science

An Introduction to Logic Hardcover

PACKAGE: Logic and Computer Design Fundamentals

Universitext A Course on Mathematical Logic (Paperback)

Digital Logic for Computing (Paperback)

Logic Language Information and Computation (Paperback)

Handbook of Philosophical Logic: Volume 17

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

A Mathematical Introduction to Logic

Mathematical Logic A First Course

Synthese Library Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic Book 4 (Hardcover)

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

Introduction to Mathematical Logic, Sixth Edition

Introduction to Mathematical Logic, Sixth Edition

Foundations of Programming Languages

Declarative Logic Programming: Theory, Systems, and Applications

A Beginner's Guide to Mathematical Logic

Lecture Notes in Logic Logic Colloquium 2007 Book 35 (Paperback)

Digital Logic With an Introduction to Verilog and FPGA-Based Design

Digital Logic Design: A Rigorous Approach

A Beginner's Guide to Mathematical Logic

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

Arithmetic and Logic in Computer Systems

An Introduction to Mathematical Logic

Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2024

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

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

*BNDL SP+1 CONCISE INTRODUCTION TO LOGIC+SG/WEBTUTOR/L.LOGIC

Logic in Computer Science: Modelling and Reasoning about Systems

A First Course in Mathematical Logic and Set Theor

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

Cambridge Tracts in Theoretical Computer Logic and Information (Hardcover)

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

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

Lecture Notes in Computer Science Functional and Logic Programming: 7th International Symposium Flops 2004 Nara Japan April 7-9 2004 Proceedings Book 2998 (Paperback)

Mathematics Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift (Paperback)

Handbook of Logic and Proof Techniques for Computer Science

A Mathematical Introduction to Logic

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

Foundations of Mathematical Logic

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