Subject Computability Books Categories

Subject Computability Categories Books ListSubject Computability Books Categories

The Art of Computer Programming, Volume 2: Seminumerical Algorithms (Hardcover)

The Art of Computer Programming, Volume 2: Seminumerical Algorithms (Hardcover)

The Art of Computer Programming, Volume 2: Seminumerical Algorithms (Hardcover)

By: Donald Ervin Knuth

An Introduction to Formal Language Theory (The AKM Series in Theoretical Computer Science)

An Introduction to Formal Language Theory (The AKM Series in Theoretical Computer Science)

An Introduction to Formal Language Theory (The AKM Series in Theoretical Computer Science)

By: Robert N. Moll

Problems and Exercises in Discrete Mathematics (Texts in the Mathematical Sciences)

Problems and Exercises in Discrete Mathematics (Texts in the Mathematical Sciences)

Problems and Exercises in Discrete Mathematics (Texts in the Mathematical Sciences)

By: G.P. Gavrilov

Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 55)

Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 55)

Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 55)

By: Terese

To Mock a Mockingbird and Other Logic Puzzles (Paperback)

To Mock a Mockingbird and Other Logic Puzzles (Paperback)

To Mock a Mockingbird and Other Logic Puzzles (Paperback)

By: Raymond M. Smullyan

Codes and Automata (Encyclopedia of Mathematics and its Applications, Series Number 129)

Codes and Automata (Encyclopedia of Mathematics and its Applications, Series Number 129)

Codes and Automata (Encyclopedia of Mathematics and its Applications, Series Number 129)

By: Jean Berstel

Collision-Based Computing (Paperback)

Collision-Based Computing (Paperback)

Collision-Based Computing (Paperback)

By: Andrew Adamatzky

Popular Lectures on Mathematical Logic (Dover Books on Mathematics)

Popular Lectures on Mathematical Logic (Dover Books on Mathematics)

Popular Lectures on Mathematical Logic (Dover Books on Mathematics)

By: Hao Wang

Computability and Logic (Paperback)

Computability and Logic (Paperback)

Computability and Logic (Paperback)

By: George S. Boolos

Set Theory and Logic (Dover Books on Mathematics)

Set Theory and Logic (Dover Books on Mathematics)

Set Theory and Logic (Dover Books on Mathematics)

By: Robert Roth Stoll

Boolean Reasoning: The Logic of Boolean Equations (Dover Books on Mathematics)

Boolean Reasoning: The Logic of Boolean Equations (Dover Books on Mathematics)

Boolean Reasoning: The Logic of Boolean Equations (Dover Books on Mathematics)

By: Frank Markham Brown

Coding Ockham's Razor (Hardcover)

Coding Ockham's Razor (Hardcover)

Coding Ockham's Razor (Hardcover)

By: Lloyd Allison

Term Rewriting and All That (Volume 0)

Term Rewriting and All That (Volume 0)

Term Rewriting and All That (Volume 0)

By: Franz Baader

Calculating Instruments and Machines (Paperback)

Calculating Instruments and Machines (Paperback)

Calculating Instruments and Machines (Paperback)

By: Douglas R. Hartree

An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)

An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)

An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)

By: Ming Li

The Logic of Provability (Volume 0)

The Logic of Provability (Volume 0)

The Logic of Provability (Volume 0)

By: George S. Boolos

WORD PROCESSING IN GROUPS: . (Hardcover)

WORD PROCESSING IN GROUPS: . (Hardcover)

WORD PROCESSING IN GROUPS: . (Hardcover)

By: David B.A. Epstein

Introduction to Combinatory Logic (London Mathematical Society Lecture Note Series)

Introduction to Combinatory Logic (London Mathematical Society Lecture Note Series)

Introduction to Combinatory Logic (London Mathematical Society Lecture Note Series)

By: J. Roger Hindley

Introduction to Finite Mathematics (Hardcover)

Introduction to Finite Mathematics (Hardcover)

Introduction to Finite Mathematics (Hardcover)

By: John G. Kemeny

The Recursive Universe: Cosmic Complexity and the Limits of Scientific Knowledge (Paperback)

The Recursive Universe: Cosmic Complexity and the Limits of Scientific Knowledge (Paperback)

The Recursive Universe: Cosmic Complexity and the Limits of Scientific Knowledge (Paperback)

By: William Poundstone

Interval Orders and Interval Graphs: A Study of Partially Ordered Sets (Wiley Arabook)

Interval Orders and Interval Graphs: A Study of Partially Ordered Sets (Wiley Arabook)

Interval Orders and Interval Graphs: A Study of Partially Ordered Sets (Wiley Arabook)

By: Peter C. Fishburn

Numerical Methods that Work (Spectrum)

Numerical Methods that Work (Spectrum)

Numerical Methods that Work (Spectrum)

By: Forman S. Acton

Numbers: Rational and Irrational (Paperback)

Numbers: Rational and Irrational (Paperback)

Numbers: Rational and Irrational (Paperback)

By: Ivan Niven

Introduction to the Theory of Computation (Hardcover)

Introduction to the Theory of Computation (Hardcover)

Introduction to the Theory of Computation (Hardcover)

By: Michael Sipser

Algorithms for Functional Programming (Texts in Computer Science)

Algorithms for Functional Programming (Texts in Computer Science)

Algorithms for Functional Programming (Texts in Computer Science)

By: John D. Stone

Essentials of Programming Languages (Hardcover)

Essentials of Programming Languages (Hardcover)

Essentials of Programming Languages (Hardcover)

By: Daniel P. Friedman

Sentence Diagramming: A Step-by-Step Approach to Learning Grammar Through Diagramming (Paperback)

Sentence Diagramming: A Step-by-Step Approach to Learning Grammar Through Diagramming (Paperback)

Sentence Diagramming: A Step-by-Step Approach to Learning Grammar Through Diagramming (Paperback)

By: Marye Hefty

Resource-Sensitivity, Binding and Anaphora (Studies in Linguistics and Philosophy, 80)

Resource-Sensitivity, Binding and Anaphora (Studies in Linguistics and Philosophy, 80)

Resource-Sensitivity, Binding and Anaphora (Studies in Linguistics and Philosophy, 80)

By: Geert-Jan M. Kruijff

Anaphora and Type Logical Grammar (Trends in Logic, 24)

Anaphora and Type Logical Grammar (Trends in Logic, 24)

Anaphora and Type Logical Grammar (Trends in Logic, 24)

By: Gerhard Jäger

Handbook of Logic and Language (Hardcover)

Handbook of Logic and Language (Hardcover)

Handbook of Logic and Language (Hardcover)

By: Johan van Benthem

Concrete Mathematics: A Foundation for Computer Science (Hardcover)

Concrete Mathematics: A Foundation for Computer Science (Hardcover)

Concrete Mathematics: A Foundation for Computer Science (Hardcover)

By: Ronald Graham

Mathematics of Choice: How to Count Without Counting (Paperback)

Mathematics of Choice: How to Count Without Counting (Paperback)

Mathematics of Choice: How to Count Without Counting (Paperback)

By: Ivan Niven

Subsystems of Second Order Arithmetic (Perspectives in Logic)

Subsystems of Second Order Arithmetic (Perspectives in Logic)

Subsystems of Second Order Arithmetic (Perspectives in Logic)

By: Stephen G. Simpson

Introduction to Mathematical Logic (Hardcover)

Introduction to Mathematical Logic (Hardcover)

Introduction to Mathematical Logic (Hardcover)

By: Elliott Mendelson

The Abacus: Its History, Its Design, Its Possibilities in the Modern World (Hardcover)

The Abacus: Its History, Its Design, Its Possibilities in the Modern World (Hardcover)

The Abacus: Its History, Its Design, Its Possibilities in the Modern World (Hardcover)

By: Parry Hiram Moon

The Nature of Computation (Hardcover)

The Nature of Computation (Hardcover)

The Nature of Computation (Hardcover)

By: Cristopher Moore

Feynman Lectures On Computation (Frontiers in Physics)

Feynman Lectures On Computation (Frontiers in Physics)

Feynman Lectures On Computation (Frontiers in Physics)

By: Richard P. Feynman

Introducing Logic: A Graphic Guide (Kindle Edition)

Introducing Logic: A Graphic Guide (Kindle Edition)

Introducing Logic: A Graphic Guide (Kindle Edition)

By: Bill Mayblin

What Is Mathematics? An Elementary Approach to Ideas and Methods (Paperback)

What Is Mathematics? An Elementary Approach to Ideas and Methods (Paperback)

What Is Mathematics? An Elementary Approach to Ideas and Methods (Paperback)

By: Richard Courant

Automatic Sequences: Theory, Applications, Generalizations (Hardcover)

Automatic Sequences: Theory, Applications, Generalizations (Hardcover)

Automatic Sequences: Theory, Applications, Generalizations (Hardcover)

By: Jean-Paul Allouche

SLICING THE TRUTH: ON THE COMPUTABLE AND REVERSE MATHEMATICS OF COMBINATORIAL PRINCIPLES (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)

SLICING THE TRUTH: ON THE COMPUTABLE AND REVERSE MATHEMATICS OF COMBINATORIAL PRINCIPLES (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)

SLICING THE TRUTH: ON THE COMPUTABLE AND REVERSE MATHEMATICS OF COMBINATORIAL PRINCIPLES (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore)

By: Denis R Hirschfeldt

Combinatory Logic (Discrete Mathematics and Its Applications)

Combinatory Logic (Discrete Mathematics and Its Applications)

Combinatory Logic (Discrete Mathematics and Its Applications)

By: Katalin Bimbo

Games, Puzzles, and Computation (AK Peters/CRC Recreational Mathematics Series)

Games, Puzzles, and Computation (AK Peters/CRC Recreational Mathematics Series)

Games, Puzzles, and Computation (AK Peters/CRC Recreational Mathematics Series)

By: Robert A. Hearn

Combinatorial Geometry in the Plane (Dover Books on Mathematics)

Combinatorial Geometry in the Plane (Dover Books on Mathematics)

Combinatorial Geometry in the Plane (Dover Books on Mathematics)

By: Hugo Hadwiger

Symmetric Functions and Combinatorial Operators on Polynomials (Cbms Regional Conference Series in Mathematics)

Symmetric Functions and Combinatorial Operators on Polynomials (Cbms Regional Conference Series in Mathematics)

Symmetric Functions and Combinatorial Operators on Polynomials (Cbms Regional Conference Series in Mathematics)

By: Alain Lascoux

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations (Hardcover)

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations (Hardcover)

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations (Hardcover)

By: Yoav Shoham

The Logic of Modern Physics (Hardcover)

The Logic of Modern Physics (Hardcover)

The Logic of Modern Physics (Hardcover)

By: Percy Williams Bridgman

Applied Combinatorics on Words (Encyclopedia of Mathematics and its Applications, Series Number 105)

Applied Combinatorics on Words (Encyclopedia of Mathematics and its Applications, Series Number 105)

Applied Combinatorics on Words (Encyclopedia of Mathematics and its Applications, Series Number 105)

By: M. Lothaire