21. 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
22. Introduntion to metamthematics
Author: Kleene, Stephen Cole
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Metamathematics,Logie, Symbolic and mathematical
Classification :
QA
9
.
K65
23. Les limitations internes des formalismes;etude sur la signification du theoreme de Godel et des theoremes apparentes dans la theorie des fondements des mathematiques.
Author: Par Jean Ladriere
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Metamathematics.
24. 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
25. Meta math! :
Author: Gregory Chaitin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Machine theory.,Stochastic processes.,Computational complexity.,Machine theory.,Metamathematics.,Stochastic processes.
Classification :
QA276
.
C435
2005
26. 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
27. Metamathematische Methoden in der Geometrie
Author: Schwabhauser, W.)Wolfram(
Library: Central Library and Documentation Center (Kerman)
Subject: Addresses, essays, lectures ، Geometry,Addresses, essays, lectures ، Metamathematics
Classification :
QA
481
.
S38
1983
28. Metamathematische methoden in der Geometrie
Author: Schwabhauser, Wolfram
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Geometry,Addresses, essays, lectures ، Metamathematics
Classification :
QA
481
.
S38
1983
29. The collected papers of Gerhard Gentzen.
Author: Edited by M. E. Szabo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Metamathematics
Classification :
QA9
.
G329
30. The mathematics of metamathematics
Author: Rasiowa, Helena
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Metamathematics
Classification :
QA
9
.
R25M26
31. The metamathematics of algebraic systems. Collected papers : 1936-1967
Author: Mal'tsev, Anatolii Ivanovich
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Metamathematics-- Collected Works,، Model theory-- Collected works,، Algebra-- Collected works
Classification :
QA
9
.
M2813
32. The metamathematics of algebraic systems, collected papers: 1936-1967
Author: Maltsev, Anatolii Ivanovich
Library: Central Library and Documentation Center (Kerman)
Subject: Collected works ، Metamathematics,Collected works ، Model theory,Collected works ، Algebra
Classification :
QA
9
.
M28
33. Theorie metamathematique des ideaux
Author: Par Abraham Robinson
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Metamathematics.,Ideals (Algebra)
34. Thinking about G?del and Turing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
35. Thinking about G?�del and Turing
Author: / Gregory J Chaitim
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.
Classification :
QA
,
9
.
65
,.
C43
,
2007
36. Undecidable theories
Author: / by Alfred Tarski
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Metamathematics,Logic, Symbolic and mathematical
Classification :
E-BOOK
37. Unvollstandigkeit und Unentscheidbarkeit; die metamathematischen Result ate
Author: / Von Godel Church, Kleene, Rowwer und ihre erkenntnisthe-oretische Bedeutung
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Metamathematics
Classification :
510
.
1
S817
38. Unvollstandigkeit und Unentscheidbarkeit; die metamathematischen Resultate
Author: Stegmuller, Wolfgang.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Metamathematics
Classification :
QA
9
.
S74
