1. Assumptions of Grand Logics
پدیدآورنده : by James K. Feibleman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Philosophy (General)
رده :
BC71
.
B953
1979
2. Basic laws of arithmetic :
پدیدآورنده : by Gottlob Frege ; translated and edited by Philip A. Ebert & Marcus Rossberg, with Crispin Wright and the advice of Michael Beaney [and nine others] ; appendix by Roy T. Cook.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Mathematics.
رده :
BC135
.
F85
3. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
4. Computability: computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Gudel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Computer Mathematics
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
6. Foundations of Logic and Mathematics
پدیدآورنده : by Yves Nievergelt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
7. Frege, Gottlob
پدیدآورنده :
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy,Number concept,Arithmetic - Foundations,Logic, Symbolic and mathematical
8. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Inconsistent Mathematics
پدیدآورنده : by Chris Mortensen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
10. Logic and arithmetic
پدیدآورنده : David Bostock
موضوع : Arithmetic- Foundations,Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Logic and arithmetic
پدیدآورنده : / David Bostock
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Arithmetic - Foundations,Logic, symbolic and mathematical,Numbers, natural
رده :
512
.
72
B747
12. Logic and arithmetic.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Number theory.
رده :
QA248
.
B725
13. Mathematical Thought :
پدیدآورنده : by Evert W. Beth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Philosophy (General),Science -- Philosophy.
رده :
QA9
.
B948
1965
14. Mathematics and the natural sciences :
پدیدآورنده : Francis Bailly, Giuseppe Longo
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biomathematics,Mathematical models,Mathematics-- Philosophy,Physics-- Philosophy,Space and time
15. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
QA
9
.
65
.
M68
16. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
BC
135
.
M6
17. Subsystems of Second Order Arithmetic
پدیدآورنده : by Stephen G. Simpson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
18. Symbolic logic and the real number system; an introduction to the foundations of number systems
پدیدآورنده : Lightstone, A H
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Arithmetic -- Foundations,، Logic, Symbolic and mathematical
رده :
QA
255
.
L55
19. The Arché papers on the mathematics of abstraction /
پدیدآورنده : edited by Roy T. Cook.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
رده :
QA8
.
4
.
A73
2007eb
20. The logic of Infinity /
پدیدآورنده : Barnaby Sheppard
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA248
.
S44
2014
