Recursion Theory for Metamathematics

Recursion Theory for Metamathematics

Computability: An Introduction to Recursive Function Theory

Computability : An Introduction to Recursive Function Theory

Computability : An Introduction to Recursive Function Theory

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

Metamathematics of First-order Arithmetic

Mathematical Logic A First Course

Complexity, Logic, and Recursion Theory

Introduction to Logic

Inductive Reasoning: Experimental, Developmental, and Computational Approaches

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

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

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems

Perspectives in Mathematical Logic Ω-Bibliography of Mathematical Logic: Recursion Theory (Paperback)

Recursions Engines of Order: A Mechanology of Algorithmic Techniques (Paperback)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Complexity, Logic, and Recursion Theory

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

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

Pre-Owned Recursion Theory its Generalisations and Applications (London Mathematical Society Lecture Note Series Series Number 45) 9780521235433 052123543X Paperback 1 edition

Recursive Programming and Production Response (Paperback)

Recursion: Mathematics and Python

Introduction to Mathematical Logic, Sixth Edition

Introduction to Mathematical Logic, Sixth Edition

Pre-Owned Thinking Recursively with Java (Paperback)

The Art of Reasoning a Popular Exposition of the Principles of Logic Inductive and Deductive With an Introductory Outlin (Paperback)

The Metaphysics of Logic (Hardcover)

Introduction to Recursive Programming (Paperback)

Introduction to Logic Design

Arithmetic and Logic in Computer Systems

Logic: A Very Short Introduction (Very Short Introductions)

Introduction to Logic Design

Symbolic Logic and Mechanical Theorem Proving

Foundations of Logic: Completeness, Incompleteness, Computability

The Logic Book

University Mathematics Computability and Models: Perspectives East and West (Paperback)

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

Beginner's Further Guide to Mathematical Logic

Logic, Sets And Recursion

Turing Computability : Theory and Applications

The Logic Book

The Logic Book (4th Edition)

Methods of Logic

Formal Logic

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)