Logic And Language Models For Computer Science (fourth Edition)

logic a very short introduction

Proof and Disproof in Formal Logic An Introduction for Programmers

The Art of Reasoning: An Introduction to Logic

Introductory Formal Logic of Mathematics (Hardcover)

Progress in Theoretical Computer Science Logic of Domains (Hardcover)

Automata Languages and Programming: 39th International Colloquium Icalp 2012 Warwick Uk July 9-13 2012 Proceedin (Paperback)

Bundle: A Concise Introduction to Logic (with CourseCard), 11th + Philosophy CourseMate with eBook Printed Access Card

Texts in Theoretical Computer Science. a Software Engineering 1: Abstraction and Modelling (Hardcover)

fundamentals of logic design

introduction to programmable logic controllers second edition

Lecture Notes in Computer Science Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning Ruleml+rr 2022 Berlin Germany Septemb Book 13752 (Paperback)

Modern Logic A Text in Elementary Symbolic Logic

Category Theory and Computer Science - (Lecture Notes in Computer Science) by David H Pitt & Axel Poigne & David E Rydeheard (Paperback)

Applied Logic Proof Theory and Automated Deduction Book 6 (Paperback)

Language Processing with Perl and Prolog: Theories, Implementation, and Application (Cognitive Technologies)

First IEEE International Workshop on Semantic Computing and Systems (Wscs 2008)

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)

NieR: Automata World Guide Volume 2

Encyclopedia of Mathematics and Its Appl Computation and Automata Book 25 (Paperback)

Lecture Notes in Computer Science Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht Book 1261 (Paperback)

Mathematical Logic: Solved Problems by Practical Methods (Paperback)

prolog programming for artificial intelligence

Pre-Owned Logic Language and Computation: 10th International Tbilisi Symposium on Logic Language and Computation Tbillc 2013 Gudauri Georgia September 23-27 2013. Revised Selected Papers (Paperback)

Synthese Library The Heuristic View: Logic Mathematics and Science Book 502 (Hardcover)

Mathematical Structures for Computer Science

Mathematical Structures for Computer Science

Logic: An Introduction Custom

A Survey of Symbolic Logic (Paperback)

concise introduction to logic

Logic for Applications (Texts in Computer Science)

An Introduction to Formal Logic

Introduction to Languages and the Theory of Computation

Logic: Propositional Logic

Introduction to Formal Logic

Methods of Logic

Automata, languages, and machines, Volume 59A (Pure and Applied Mathematics)

Introduction to the Theory of Automata: Part 1 : Structure

Propositional Logics (The Semantic Foundations of Logic)

Learning Logic

Logic for Mathematicians

Analyzing Syntax & Semantics Textbook

The Languages of Logic An Intr

Art of Reasoning with Symbolic Logic, Alternate Edition

A Modern Elementary Logic

Theory of Computing : A Gentle Introduction

Concise Introduction to Logic: Using Traditional Logic, 11th Edition

Recursive Programming Techniques (The Systems programming series)

Logic and Boolean Algebra