Logic And Language Models For Computer Science (fourth Edition)

Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

Pre-Owned Logic And Language Models For Computer Science (Third Edition) Paperback

Logic in Computer Science: Modelling and Reasoning about Systems

Logic and Discrete Mathematics A Concise Introduction, Solutions Manual

Arithmetic and Logic in Computer Systems

An Introduction to Non-Classical Logic: From If to Is

Computation and Automata

Computation and Automata

Logic and Discrete Mathematics A Concise Introduction

Problem Solving in Automata, Languages, and Complexity

Extensions of First-Order Logic

Automata Theory With Modern Applications

Introduction to Automata Theory, Languages, and Co

Z An Introduction to Formal Methods

Systems of Logic

Systems of Logic

Digital Logic Design

A First Course in Mathematical Logic and Set Theory

Modal Logic

Introduction to Mathematical Logic, Sixth Edition

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)

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

Introduction to Formal Logic

Formal Languages, Automata and Numeration Systems 1 Introduction to Combinatorics on Words

A Course in Model Theory: An Introduction to Contemporary Mathematical Logic

Introduction to Languages and the Theory of Computation

Automata Theory and Formal Languages

Advances in Logic Programming Theory

Lectures on Mathematical Logic, Volume II

The Logic Book

Introduction to Logic

Introduction to Logic

Mathematical Logic A Course with Exercises Part II: Recursion Theory, Gdel's Theorems, Set Theory, Model Theory

logic and discrete mathematics a concise introduction

Logic of Mathematics A Modern Course of Classical Logic

Lecture Notes in Computer Science Automata Languages and Programming: 14th International Colloquium Karlsruhe Federal Republic of Germany July 13-17 Book 267 (Paperback)

Pre-Owned Lecture Notes in Computer Science: Conceptual Modeling: Current Issues and Future Directions (Paperback)

Logic Colloquium '99: Lecture Notes in Logic 17

First Order-Logic: An Introduction (Paperback)

Introduction to Logic Design

Introduction to Formal Languages

Pre-Owned An Introduction to Formal Languages and Automata (Hardcover) 0763714224 9780763714222

Turing (A Novel about Computation)

A Concise Introduction to Languages and Machines (Undergraduate Topics in Computer Science)

ART OF REASONING: MODERN & FORMAL LOGIC ED

Logic: The Theory of Formal Inference

Formal Grammar Theory and Implementation