Metamathematics, machines, and Gödel's proof View on Open Library

Metamathematics, machines, and Gödel's proof

by N. Shankar

No reviews yet
First published: 1994 1 language ISBN: 9780511881381
Subjects
Automatic theorem proving Data processing Gödel's theorem Computer science, mathematics

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by N. Shankar

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)

Metamathematics, Machines and Gödel's Pr...

Plant Physiology and Biochemistry

Plant Physiology and Biochemistry

You Might Also Like

More in Automatic theorem pr...
Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelli...

Moshe Y. Vardi
Logic for computer science

Logic for computer science

Jean H. Gallier
Logic Programming

Logic Programming

James H. Andrews
Certified Programming with Dependent Types

Certified Programming with Dependent Typ...

Adam Chlipala
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intell...

Ken McMillan
Automated deduction

Automated deduction

W. Bibel