The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 /
সংরক্ষণ করুন:
প্রধান লেখক: | Mancosu, Paolo |
---|---|
বিন্যাস: | বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ |
ভাষা: | ইংরেজি |
প্রকাশিত: |
Oxford :
Oxford University Press,
2010.
|
বিষয়গুলি: | |
অনলাইন ব্যবহার করুন: | An electronic book accessible through the World Wide Web; click to view |
ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
অনুরূপ উপাদানগুলি
Classical mathematical logic the semantic foundations of logic /
অনুযায়ী: Epstein, Richard L.
প্রকাশিত: (2011)
অনুযায়ী: Epstein, Richard L.
প্রকাশিত: (2011)
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
অনুযায়ী: Hopkins, Burt C.
প্রকাশিত: (2011)
অনুযায়ী: Hopkins, Burt C.
প্রকাশিত: (2011)
Philosophy of mathematics in the twentieth century : selected essays /
অনুযায়ী: Parsons, Charles, 1933-
প্রকাশিত: (2014)
অনুযায়ী: Parsons, Charles, 1933-
প্রকাশিত: (2014)
Philosophy of mathematics set theory, measuring theories, and nominalism /
প্রকাশিত: (2008)
প্রকাশিত: (2008)
Formalism and beyond : on the nature of mathematical discourse /
প্রকাশিত: (2014)
প্রকাশিত: (2014)
Mathematical logic
অনুযায়ী: Chiswell, Ian, 1948-
প্রকাশিত: (2007)
অনুযায়ী: Chiswell, Ian, 1948-
প্রকাশিত: (2007)
Logical reasoning with diagrams
প্রকাশিত: (1996)
প্রকাশিত: (1996)
Distilling ideas an introduction to mathematical thinking /
অনুযায়ী: Katz, Brian P.
প্রকাশিত: (2013)
অনুযায়ী: Katz, Brian P.
প্রকাশিত: (2013)
Mathematical logic
অনুযায়ী: Tourlakis, George J.
প্রকাশিত: (2003)
অনুযায়ী: Tourlakis, George J.
প্রকাশিত: (2003)
Representation and productive ambiguity in mathematics and the sciences
অনুযায়ী: Grosholz, Emily R.
প্রকাশিত: (2007)
অনুযায়ী: Grosholz, Emily R.
প্রকাশিত: (2007)
Philosophy of mathematics and mathematical practice in the seventeenth century
অনুযায়ী: Mancosu, Paolo
প্রকাশিত: (1999)
অনুযায়ী: Mancosu, Paolo
প্রকাশিত: (1999)
Mathematical logic in the 20th century
প্রকাশিত: (2003)
প্রকাশিত: (2003)
Logic and discrete mathematics : a concise introduction /
অনুযায়ী: Conradie, Willem, 1978-, অন্যান্য
প্রকাশিত: (2015)
অনুযায়ী: Conradie, Willem, 1978-, অন্যান্য
প্রকাশিত: (2015)
Logic and discrete mathematics : a concise introduction /
অনুযায়ী: Conradie, Willem, 1978-, অন্যান্য
প্রকাশিত: (2015)
অনুযায়ী: Conradie, Willem, 1978-, অন্যান্য
প্রকাশিত: (2015)
Introduction to logic and to the methodology of the deductive sciences
অনুযায়ী: Tarski, Alfred
প্রকাশিত: (1994)
অনুযায়ী: Tarski, Alfred
প্রকাশিত: (1994)
Tracking reason proof, consequence, and truth /
অনুযায়ী: Azzouni, Jody
প্রকাশিত: (2006)
অনুযায়ী: Azzouni, Jody
প্রকাশিত: (2006)
A tour through mathematical logic
অনুযায়ী: Wolf, Robert S.
প্রকাশিত: (2005)
অনুযায়ী: Wolf, Robert S.
প্রকাশিত: (2005)
Concepts of proof in mathematics, philosophy, and computer science /
প্রকাশিত: (2016)
প্রকাশিত: (2016)
Foundation of abstract mathematics /
অনুযায়ী: Kurtz, David C.
প্রকাশিত: (1992)
অনুযায়ী: Kurtz, David C.
প্রকাশিত: (1992)
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
অনুযায়ী: Goldblatt, Robert
প্রকাশিত: (2011)
অনুযায়ী: Goldblatt, Robert
প্রকাশিত: (2011)
Logic without borders /
প্রকাশিত: (2015)
প্রকাশিত: (2015)
Infinity new research frontiers /
প্রকাশিত: (2011)
প্রকাশিত: (2011)
The foundations of mathematics /
অনুযায়ী: Stewart, Ian, 1945-
প্রকাশিত: (1977)
অনুযায়ী: Stewart, Ian, 1945-
প্রকাশিত: (1977)
Computability in context computation and logic in the real world /
প্রকাশিত: (2011)
প্রকাশিত: (2011)
In the light of logic
অনুযায়ী: Feferman, Solomon
প্রকাশিত: (1998)
অনুযায়ী: Feferman, Solomon
প্রকাশিত: (1998)
Foundations without foundationalism a case for second-order logic.
অনুযায়ী: Shapiro, Stewart, 1951-
প্রকাশিত: (2000)
অনুযায়ী: Shapiro, Stewart, 1951-
প্রকাশিত: (2000)
A short introduction to intuitionistic logic
অনুযায়ী: Mint͡s, G. E.
প্রকাশিত: (2000)
অনুযায়ী: Mint͡s, G. E.
প্রকাশিত: (2000)
Logical dynamics of information and interaction
অনুযায়ী: Benthem, J. F. A. K. van, 1949-
প্রকাশিত: (2011)
অনুযায়ী: Benthem, J. F. A. K. van, 1949-
প্রকাশিত: (2011)
Diamond a paradox logic /
অনুযায়ী: Hellerstein, N. S. (Nathaniel S.)
প্রকাশিত: (2010)
অনুযায়ী: Hellerstein, N. S. (Nathaniel S.)
প্রকাশিত: (2010)
Proof, logic, and formalization
প্রকাশিত: (1992)
প্রকাশিত: (1992)
One hundred years of intuitionism (1907-2007) the Cerisy conference /
প্রকাশিত: (2008)
প্রকাশিত: (2008)
Infinity and truth /
প্রকাশিত: (2014)
প্রকাশিত: (2014)
Essays on non-classical logic
প্রকাশিত: (2001)
প্রকাশিত: (2001)
Publications 1929-1936 /
অনুযায়ী: Gödel, Kurt
প্রকাশিত: (1986)
অনুযায়ী: Gödel, Kurt
প্রকাশিত: (1986)
Infinity and the mind : the science and philosophy of the infinite /
অনুযায়ী: Rucker, Rudy
প্রকাশিত: (1982)
অনুযায়ী: Rucker, Rudy
প্রকাশিত: (1982)
Essays in the philosophy and history of logic and mathematics
অনুযায়ী: Murawski, Roman
প্রকাশিত: (2010)
অনুযায়ী: Murawski, Roman
প্রকাশিত: (2010)
Paradox and paraconsistency conflict resolution in the abstract sciences /
অনুযায়ী: Woods, John
প্রকাশিত: (2003)
অনুযায়ী: Woods, John
প্রকাশিত: (2003)
Gödel's incompleteness theorems
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1992)
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1992)
Recursion theory for metamathematics
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1993)
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1993)
Institution-independent model theory
অনুযায়ী: Diaconescu, Răzvan
প্রকাশিত: (2008)
অনুযায়ী: Diaconescu, Răzvan
প্রকাশিত: (2008)
অনুরূপ উপাদানগুলি
-
Classical mathematical logic the semantic foundations of logic /
অনুযায়ী: Epstein, Richard L.
প্রকাশিত: (2011) -
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
অনুযায়ী: Hopkins, Burt C.
প্রকাশিত: (2011) -
Philosophy of mathematics in the twentieth century : selected essays /
অনুযায়ী: Parsons, Charles, 1933-
প্রকাশিত: (2014) -
Philosophy of mathematics set theory, measuring theories, and nominalism /
প্রকাশিত: (2008) -
Formalism and beyond : on the nature of mathematical discourse /
প্রকাশিত: (2014)