Computability and logic View on Open Library

Computability and logic

by George Boolos , Richard C. Jeffrey , George S. Boolos , John P. Burgess

No reviews yet
First published: 1974 1 language ISBN: 9781283329576
Subjects
Computable functions Logic, Symbolic and mathematical Recursive functions Symbolic and mathematical Logic Mathematical foundations Philosophy General Philosophy / Logic Mathematical logic Mathematics

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by George Boolos

The unprovability of consistency

The unprovability of consistency

The Logic of provability

The Logic of provability

Meaning and method

Meaning and method

Logic, logic, and logic

Logic, logic, and logic

Meaning and Method

Meaning and Method

Logic, Logic, and Logic

Logic, Logic, and Logic

You Might Also Like

More in Computable functions
Precalculus With Limits

Precalculus With Limits

Ron Larson
Advances in Electronics and Electron Physics (Advances in Imaging and Electron Physics)

Advances in Electronics and Electron Phy...

Peter W. Hawkes
Statisticheskai︠a︡ fizika

Statisticheskai︠a︡ fizika

L.D Landau
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Aufzählbarkeit, Entscheidbarkeit, Berech...

Hans Hermes
Programming Scala

Programming Scala

Dean Wampler
Applied software measurement

Applied software measurement

Capers Jones