Oxford University Press Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)

Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2

Oxford University Press

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Oxford University Press

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Oxford University Press

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)

Oxford University Press

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Springer

A Mathematical Introduction To Logic

Language, Proof and Logic 2e +CD: Second Edition

University of Chicago Press

Intermediate Logic

Oxford University Press

Type Theory and Formal Proof: An Introduction

Cambridge University Press

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): 47

Oxford University Press

Logic in Computer Science: Modelling and Reasoning about Systems

Introduction to Discrete Mathematics via Logic and Proof (Undergraduate Texts in Mathematics)

Springer

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford University Press

Logical Forms: An Introduction to Philosophical Logic

Wiley-Blackwell

Mathematical Logic: An Introduction (De Gruyter Textbook)

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

World Scientific Publishing Company

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus

Oxford University Press

Symbolic Logic: Syntax, Semantics, and Proof

Rowman & Littlefield Publishers

Proofs 101: An Introduction to Formal Mathematics

CRC Press

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Cambridge University Press

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

CRC Press

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)

Oxford University Press