1. Introduction to metamathematics
Author: Kleene, Stephen Cole
Library: Central Library and Documentation Center (Kerman)
Subject: ، Metamathematics
Classification :
QA
9
.
8
.
K6
2. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole
موضوع : ، Metamathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Introduction to metamathematics
Author: Kleene, Stephen Cole, 9091-4991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Metamathematics,، Logic, Symbolic and mathematical
Classification :
QA
9
.
8
.
K54
1971
4. Introduction to metamathematics /
Author: by Stephen Cole Kleene.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logica matematica
5. Introduction to model theory and to the metamathematics of algebra
Author: Robinson, Abraham
Library: Central Library and Documentation Center (Kerman)
Subject: ، Algebra, Abstract,، Mathematics,، Model theory
Classification :
QA
162
.
R6
1974
6. Introduction to model theory and to the metamathematics of algebra
Author: Robinson, Abraham
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Algebra, Abstract,، Metamathematics,، Model theory
Classification :
QA
162
.
R6
1974
7. Logic, semantics, metamathematics
Author: Tarski, Alfred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
Classification :
BC
135
.
T35
8. Logic, semantics, metamathematics :
Author: by Alfred Tarski ; translated by J.H. Woodger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
Classification :
BC135
.
T35
1983
9. Logic, semantics, metamathematics :papers from 1923 to 1938
Author: Tarski, Alfred.
Library: Library of Mofid University (Qom)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
Classification :
BC135
.
T35
1983
10. Logic, semantics, metamathematics: papers from 1923 to 1938
Author: Tarski, Alfred.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,Semantics )Philosophy(
Classification :
BC
135
.
T35
11. METAMATHEMATICS, MACHINES, AND GODELS PROOF
Author: SHANKAR, N
Library: Central Library and Documentation Center (Semnan)
Subject:
Classification :
QA
9
.
65
.
S53
2002
12. Mechanism, Mentalism and Metamathematics :
Author: by Judson Chambers Webb.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Philosophy (General),Philosophy of mind.,Science -- Philosophy.
Classification :
QA9
.
8
B958
1980
13. Mechanism, mentalism, and metamathematics :an essay on finitism
Author: Webb, Judson Chambers
Library: Central Library and Documentation Center (Semnan)
Subject: ، Metamathematics,، Incompleteness theorems,، Godel's theorem
Classification :
QA
9
.
8
.
W4
C1980
14. Metamathematics and the philosophical tradition /
Author: William Boos ; edited by Florence S. Boos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- Philosophy.,Metamathematics.,Philosophy.,Mathematics-- Philosophy.,Metamathematics.,Philosophy.
Classification :
B72
15. Metamathematics, machines, and Gödel's proof /
Author: N. Shankar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Gödel's theorem-- Data processing.,Automatic theorem proving.,Gödel's theorem-- Data processing.,Gödelscher Unvollständigkeitssatz.,Metamathematik.
Classification :
QA9
.
65
.
S53
1997
16. Metamathematics, machines, and Godel's proof
Author: Shankar, Natarajan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing ، Godel's theorem,، Automatic theorem proving
Classification :
QA
9
.
65
.
S49
17. Metamathematics of Fuzzy Logic
Author: by Petr Hájek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
18. Metamathematics of first-order arithmetic
Author: Hajek, Petr
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Arithmetic -- Foundations
Classification :
QA
248
.
H24M4
19. Metamathematics of first-order arithmetic
Author: Hajek, Petr.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Arithmetic-- Foundations
Classification :
QA
248
.
H23
1993
20. Metamathematics of first-order arithmetic
Author: Hajek, Petr.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Arithmetic - Foundations
Classification :
QA
248
.
H23
1993
