21. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Metamathematics
رده :
QA
9
.
8
.
K6
22. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole,9091-, by Stephen Cole Kleene
موضوع : ، Metamathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
23. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole, 9091-4991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Metamathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
8
.
K54
1971
24. Introduction to metamathematics /
پدیدآورنده : by Stephen Cole Kleene.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logica matematica
25. Introduction to metamthematics
پدیدآورنده :
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Metamathematics
رده :
QA9
.
K55
26. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebra, Abstract,، Mathematics,، Model theory
رده :
QA
162
.
R6
1974
27. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebra, Abstract,، Metamathematics,، Model theory
رده :
QA
162
.
R6
1974
28. Introduntion to metamthematics
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Metamathematics,Logie, Symbolic and mathematical
رده :
QA
9
.
K65
29. Les limitations internes des formalismes;etude sur la signification du theoreme de Godel et des theoremes apparentes dans la theorie des fondements des mathematiques.
پدیدآورنده : Par Jean Ladriere
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Metamathematics.
30. Logic and Philosophy in the Lvov-Warsaw School
پدیدآورنده : by Jan Wolenski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Philosophy (General),Science -- Philosophy.
31. Logic, semantics, metamathematics
پدیدآورنده : Tarski, Alfred
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC
135
.
T35
32. Logic, semantics, metamathematics :
پدیدآورنده : by Alfred Tarski ; translated by J.H. Woodger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : 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.
رده :
BC135
.
T35
1983
33. Logic, semantics, metamathematics :papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC135
.
T35
1983
34. Logic, semantics, metamathematics: papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,Semantics )Philosophy(
رده :
BC
135
.
T35
35. METAMATHEMATICS, MACHINES, AND GODELS PROOF
پدیدآورنده : SHANKAR, N
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع :
رده :
QA
9
.
65
.
S53
2002
36. Mechanism, Mentalism and Metamathematics :
پدیدآورنده : by Judson Chambers Webb.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Philosophy (General),Philosophy of mind.,Science -- Philosophy.
رده :
QA9
.
8
B958
1980
37. Mechanism, mentalism, and metamathematics :an essay on finitism
پدیدآورنده : Webb, Judson Chambers
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Metamathematics,، Incompleteness theorems,، Godel's theorem
رده :
QA
9
.
8
.
W4
C1980
38. Meta math! :
پدیدآورنده : Gregory Chaitin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Machine theory.,Stochastic processes.,Computational complexity.,Machine theory.,Metamathematics.,Stochastic processes.
رده :
QA276
.
C435
2005
39. Metamathematics and the philosophical tradition /
پدیدآورنده : William Boos ; edited by Florence S. Boos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Philosophy.,Metamathematics.,Philosophy.,Mathematics-- Philosophy.,Metamathematics.,Philosophy.
رده :
B72
40. Metamathematics, machines, and Gödel's proof /
پدیدآورنده : N. Shankar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving.,Gödel's theorem-- Data processing.,Automatic theorem proving.,Gödel's theorem-- Data processing.,Gödelscher Unvollständigkeitssatz.,Metamathematik.
رده :
QA9
.
65
.
S53
1997
