Filters
Advanced Search Browse by Genre

Found 136 results for "Metamathematics"

Gödel, Escher, Bach
Gödel, Escher, Bach

by Douglas R. Hofstadter

1979 30 ed.
Logics Teoria Do Conhecimento Artificial intelligence
Metamathematics
Metamathematics

by Stephen Wolfram

2022 2 ed.
Mathematics Science
Introduction to metamathematics
Introduction to metamathematics

by Stephen Cole Kleene

1952 7 ed.
Metamathematics Mathematics
Gödel's proof
Gödel's proof

by Ernest Nagel, James Roy Newman

1958 41 ed.
Gödel's theorem Mathematics Metamathematics
Introduction to metamathematics
Introduction to metamathematics

by S. C. Kleene

1952 2 ed.
The mathematics of metamathematics
The mathematics of metamathematics

by Helena Rasiowa

1963 3 ed.
Metamathematics Symbolic and mathematical...
Recursion theory for metamathematics
Recursion theory for metamathematics

by Raymond M. Smullyan

1993 2 ed.
Recursion theory Récursivité, Théorie de l...
Comparative Metamathematics
Comparative Metamathematics

by Gordon Mackay

2010 1 ed.
Metamathematics
Logic, semantics, metamathematics
Logic, semantics, metamathematics

by Tarski, Alfred.

1956 3 ed.
Logic, Symbolic and mathe... Semantics (Philosophy) Symbolic and mathematical...
Introduction to metamathematics
Introduction to metamathematics

by Stephen Cole Kleene

1952 3 ed.
Metamathematics
Metamathematics of first-order arithmetic
Metamathematics of first-order arithmetic

by Petr Hájek

1993 5 ed.
Metamathematics Logic, symbolic and mathe...
Metamathematics, machines, and Gödel's proof
Metamathematics, machines, and Gödel's proof

by N. Shankar

1994 3 ed.
Automatic theorem proving Data processing Gödel's theorem
Introduction to metamathematics
Introduction to metamathematics

by Stephen Cole Kleene

1967 1 ed.
Metamathematics
Introduction To Metamathematics
Introduction To Metamathematics

by Stephen Cole Kleene

1952 1 ed.
logic, semantics, metamathematics
logic, semantics, metamathematics

by alfred tarski

1956 1 ed.
Logic, semantics, metamathematics
Logic, semantics, metamathematics

by Tarski, Alfred.

1956 1 ed.
Symbolic and mathematical... Semantics (Philosophy)
On the metamathematics of albebra
On the metamathematics of albebra

by Robinson, Abraham, Ph.D.

1951 1 ed.
Algebra Logic, Symbolic and mathe... Metamathematics
Logic, Semantics, Metamathematics
Logic, Semantics, Metamathematics

by Trans Alfred Tarski/J.H. Woodger

1956 3 ed.
Logic, semantics, metamathematics
Logic, semantics, metamathematics

by Alfred Tarski

1956 2 ed.
Logic, Semantics, Metamathematics
Logic, Semantics, Metamathematics
1 ed.