The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 /
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Elektronik Ekitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Oxford :
Oxford University Press,
2010.
|
| Konular: | |
| Online Erişim: | An electronic book accessible through the World Wide Web; click to view |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Benzer Materyaller
Classical mathematical logic the semantic foundations of logic /
Yazar:: Epstein, Richard L.
Baskı/Yayın Bilgisi: (2011)
Yazar:: Epstein, Richard L.
Baskı/Yayın Bilgisi: (2011)
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
Yazar:: Hopkins, Burt C.
Baskı/Yayın Bilgisi: (2011)
Yazar:: Hopkins, Burt C.
Baskı/Yayın Bilgisi: (2011)
Philosophy of mathematics in the twentieth century : selected essays /
Yazar:: Parsons, Charles, 1933-
Baskı/Yayın Bilgisi: (2014)
Yazar:: Parsons, Charles, 1933-
Baskı/Yayın Bilgisi: (2014)
Philosophy of mathematics set theory, measuring theories, and nominalism /
Baskı/Yayın Bilgisi: (2008)
Baskı/Yayın Bilgisi: (2008)
Formalism and beyond : on the nature of mathematical discourse /
Baskı/Yayın Bilgisi: (2014)
Baskı/Yayın Bilgisi: (2014)
Mathematical logic
Yazar:: Chiswell, Ian, 1948-
Baskı/Yayın Bilgisi: (2007)
Yazar:: Chiswell, Ian, 1948-
Baskı/Yayın Bilgisi: (2007)
Logical reasoning with diagrams
Baskı/Yayın Bilgisi: (1996)
Baskı/Yayın Bilgisi: (1996)
Distilling ideas an introduction to mathematical thinking /
Yazar:: Katz, Brian P.
Baskı/Yayın Bilgisi: (2013)
Yazar:: Katz, Brian P.
Baskı/Yayın Bilgisi: (2013)
Mathematical logic
Yazar:: Tourlakis, George J.
Baskı/Yayın Bilgisi: (2003)
Yazar:: Tourlakis, George J.
Baskı/Yayın Bilgisi: (2003)
Representation and productive ambiguity in mathematics and the sciences
Yazar:: Grosholz, Emily R.
Baskı/Yayın Bilgisi: (2007)
Yazar:: Grosholz, Emily R.
Baskı/Yayın Bilgisi: (2007)
Philosophy of mathematics and mathematical practice in the seventeenth century
Yazar:: Mancosu, Paolo
Baskı/Yayın Bilgisi: (1999)
Yazar:: Mancosu, Paolo
Baskı/Yayın Bilgisi: (1999)
Mathematical logic in the 20th century
Baskı/Yayın Bilgisi: (2003)
Baskı/Yayın Bilgisi: (2003)
Logic and discrete mathematics : a concise introduction /
Yazar:: Conradie, Willem, 1978-, ve diğerleri
Baskı/Yayın Bilgisi: (2015)
Yazar:: Conradie, Willem, 1978-, ve diğerleri
Baskı/Yayın Bilgisi: (2015)
Logic and discrete mathematics : a concise introduction /
Yazar:: Conradie, Willem, 1978-, ve diğerleri
Baskı/Yayın Bilgisi: (2015)
Yazar:: Conradie, Willem, 1978-, ve diğerleri
Baskı/Yayın Bilgisi: (2015)
Introduction to logic and to the methodology of the deductive sciences
Yazar:: Tarski, Alfred
Baskı/Yayın Bilgisi: (1994)
Yazar:: Tarski, Alfred
Baskı/Yayın Bilgisi: (1994)
Tracking reason proof, consequence, and truth /
Yazar:: Azzouni, Jody
Baskı/Yayın Bilgisi: (2006)
Yazar:: Azzouni, Jody
Baskı/Yayın Bilgisi: (2006)
A tour through mathematical logic
Yazar:: Wolf, Robert S.
Baskı/Yayın Bilgisi: (2005)
Yazar:: Wolf, Robert S.
Baskı/Yayın Bilgisi: (2005)
Concepts of proof in mathematics, philosophy, and computer science /
Baskı/Yayın Bilgisi: (2016)
Baskı/Yayın Bilgisi: (2016)
Foundation of abstract mathematics /
Yazar:: Kurtz, David C.
Baskı/Yayın Bilgisi: (1992)
Yazar:: Kurtz, David C.
Baskı/Yayın Bilgisi: (1992)
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
Yazar:: Goldblatt, Robert
Baskı/Yayın Bilgisi: (2011)
Yazar:: Goldblatt, Robert
Baskı/Yayın Bilgisi: (2011)
Logic without borders /
Baskı/Yayın Bilgisi: (2015)
Baskı/Yayın Bilgisi: (2015)
Infinity new research frontiers /
Baskı/Yayın Bilgisi: (2011)
Baskı/Yayın Bilgisi: (2011)
The foundations of mathematics /
Yazar:: Stewart, Ian, 1945-
Baskı/Yayın Bilgisi: (1977)
Yazar:: Stewart, Ian, 1945-
Baskı/Yayın Bilgisi: (1977)
Computability in context computation and logic in the real world /
Baskı/Yayın Bilgisi: (2011)
Baskı/Yayın Bilgisi: (2011)
In the light of logic
Yazar:: Feferman, Solomon
Baskı/Yayın Bilgisi: (1998)
Yazar:: Feferman, Solomon
Baskı/Yayın Bilgisi: (1998)
Foundations without foundationalism a case for second-order logic.
Yazar:: Shapiro, Stewart, 1951-
Baskı/Yayın Bilgisi: (2000)
Yazar:: Shapiro, Stewart, 1951-
Baskı/Yayın Bilgisi: (2000)
A short introduction to intuitionistic logic
Yazar:: Mint͡s, G. E.
Baskı/Yayın Bilgisi: (2000)
Yazar:: Mint͡s, G. E.
Baskı/Yayın Bilgisi: (2000)
Logical dynamics of information and interaction
Yazar:: Benthem, J. F. A. K. van, 1949-
Baskı/Yayın Bilgisi: (2011)
Yazar:: Benthem, J. F. A. K. van, 1949-
Baskı/Yayın Bilgisi: (2011)
Diamond a paradox logic /
Yazar:: Hellerstein, N. S. (Nathaniel S.)
Baskı/Yayın Bilgisi: (2010)
Yazar:: Hellerstein, N. S. (Nathaniel S.)
Baskı/Yayın Bilgisi: (2010)
Proof, logic, and formalization
Baskı/Yayın Bilgisi: (1992)
Baskı/Yayın Bilgisi: (1992)
One hundred years of intuitionism (1907-2007) the Cerisy conference /
Baskı/Yayın Bilgisi: (2008)
Baskı/Yayın Bilgisi: (2008)
Infinity and truth /
Baskı/Yayın Bilgisi: (2014)
Baskı/Yayın Bilgisi: (2014)
Essays on non-classical logic
Baskı/Yayın Bilgisi: (2001)
Baskı/Yayın Bilgisi: (2001)
Publications 1929-1936 /
Yazar:: Gödel, Kurt
Baskı/Yayın Bilgisi: (1986)
Yazar:: Gödel, Kurt
Baskı/Yayın Bilgisi: (1986)
Infinity and the mind : the science and philosophy of the infinite /
Yazar:: Rucker, Rudy
Baskı/Yayın Bilgisi: (1982)
Yazar:: Rucker, Rudy
Baskı/Yayın Bilgisi: (1982)
Essays in the philosophy and history of logic and mathematics
Yazar:: Murawski, Roman
Baskı/Yayın Bilgisi: (2010)
Yazar:: Murawski, Roman
Baskı/Yayın Bilgisi: (2010)
Paradox and paraconsistency conflict resolution in the abstract sciences /
Yazar:: Woods, John
Baskı/Yayın Bilgisi: (2003)
Yazar:: Woods, John
Baskı/Yayın Bilgisi: (2003)
Institution-independent model theory
Yazar:: Diaconescu, Răzvan
Baskı/Yayın Bilgisi: (2008)
Yazar:: Diaconescu, Răzvan
Baskı/Yayın Bilgisi: (2008)
Gödel's incompleteness theorems
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1992)
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1992)
Recursion theory for metamathematics
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1993)
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1993)