The search for mathematical roots, 1870-1940 logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Princeton, N.J. :
Princeton University Press,
c2000.
|
| 主題: | |
| オンライン･アクセス: | An electronic book accessible through the World Wide Web; click to view |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Elementary concepts of modern mathematics.
著者:: Dinkines, Flora
出版事項: (1964)
著者:: Dinkines, Flora
出版事項: (1964)
Symbolic logic and the real number system : an introduction to the foundations of number systems /
著者:: Lightstone, A. H.
出版事項: (1965)
著者:: Lightstone, A. H.
出版事項: (1965)
Set theory
著者:: Tourlakis, George J.
出版事項: (2003)
著者:: Tourlakis, George J.
出版事項: (2003)
Beyond sets a venture in collection-theoretic revisionism /
著者:: Rescher, Nicholas
出版事項: (2011)
著者:: Rescher, Nicholas
出版事項: (2011)
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
出版事項: (2011)
出版事項: (2011)
Set theory and its logic
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1969)
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1969)
Basic concepts of mathematics /
著者:: Webber, G. Cuthbert (George Cuthbert), 1906-
出版事項: (1963)
著者:: Webber, G. Cuthbert (George Cuthbert), 1906-
出版事項: (1963)
Set theory and the continuum hypothesis. /
著者:: Cohen, Paul J.
著者:: Cohen, Paul J.
Number systems and their uses /
著者:: Wolf, Frank L. (Frank Louis)
出版事項: (1971)
著者:: Wolf, Frank L. (Frank Louis)
出版事項: (1971)
Mathematical logic
著者:: Tourlakis, George J.
出版事項: (2003)
著者:: Tourlakis, George J.
出版事項: (2003)
A first course in mathematical logic and set theory /
著者:: O'Leary, Michael L.
出版事項: (2016)
著者:: O'Leary, Michael L.
出版事項: (2016)
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)
Logos and máthema studies in the philosophy of mathematics and history of logic /
著者:: Murawski, Roman
出版事項: (2011)
著者:: Murawski, Roman
出版事項: (2011)
Russell's hidden substitutional theory
著者:: Landini, Gregory
出版事項: (1998)
著者:: Landini, Gregory
出版事項: (1998)
Foundations of computing : system development with set theory and logic /
著者:: Scheurer, Thierry
出版事項: (1994)
著者:: Scheurer, Thierry
出版事項: (1994)
Introduction to logic and to the methodology of the deductive sciences
著者:: Tarski, Alfred
出版事項: (1994)
著者:: Tarski, Alfred
出版事項: (1994)
Infinity and truth /
出版事項: (2014)
出版事項: (2014)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
著者:: Benthem, Johan
出版事項: (2006)
著者:: Benthem, Johan
出版事項: (2006)
Propositions, functions, and analysis selected essays on Russell's philosophy /
著者:: Hylton, Peter
出版事項: (2005)
著者:: Hylton, Peter
出版事項: (2005)
Reason's nearest kin philosophies of arithmetic from Kant to Carnap /
著者:: Potter, Michael D.
出版事項: (2000)
著者:: Potter, Michael D.
出版事項: (2000)
Fuzzy multi-criteria decision making theory and applications with recent developments /
出版事項: (2008)
出版事項: (2008)
Foundational Theories of Classical and Constructive Mathematics
著者:: Sommaruga, Giovanni
出版事項: (2011)
著者:: Sommaruga, Giovanni
出版事項: (2011)
Constructive Negations and Paraconsistency
著者:: Odintsov, Sergei P.
出版事項: (2008)
著者:: Odintsov, Sergei P.
出版事項: (2008)
The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
著者:: Ciesielski, Krzysztof, 1957-
出版事項: (2004)
著者:: Ciesielski, Krzysztof, 1957-
出版事項: (2004)
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
著者:: Solojentsev, E. D.
出版事項: (2005)
著者:: Solojentsev, E. D.
出版事項: (2005)
Logic without borders /
出版事項: (2015)
出版事項: (2015)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
著者:: Dybjer, P.
出版事項: (2012)
著者:: Dybjer, P.
出版事項: (2012)
The Arch Papers on the Mathematics of Abstraction
著者:: Cook, Roy T.
出版事項: (2007)
著者:: Cook, Roy T.
出版事項: (2007)
Strict Finitism and the Logic of Mathematical Applications
著者:: Ye, Feng
出版事項: (2011)
著者:: Ye, Feng
出版事項: (2011)
Set theory : an introduction /
著者:: Vaught, Robert L, 1926-
出版事項: (2001)
著者:: Vaught, Robert L, 1926-
出版事項: (2001)
Nonlinear integrals and their applications in data mining
著者:: Wang, Zhenyuan
出版事項: (2010)
著者:: Wang, Zhenyuan
出版事項: (2010)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
著者:: Carnielli, Walter
出版事項: (2008)
著者:: Carnielli, Walter
出版事項: (2008)
Computer arithmetic and validity theory, implementation, and applications /
著者:: Kulisch, Ulrich
出版事項: (2008)
著者:: Kulisch, Ulrich
出版事項: (2008)
Computer arithmetic and validity theory, implementation, and applications /
著者:: Kulisch, Ulrich
出版事項: (2013)
著者:: Kulisch, Ulrich
出版事項: (2013)
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
著者:: Kerkhove, Bart
出版事項: (2007)
著者:: Kerkhove, Bart
出版事項: (2007)
Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
著者:: Atten, Mark
出版事項: (2007)
著者:: Atten, Mark
出版事項: (2007)
The architecture of modern mathematics essays in history and philosophy /
出版事項: (2006)
出版事項: (2006)
Truth and Falsehood An Inquiry into Generalized Logical Values /
著者:: Shramko, Yaroslav
出版事項: (2012)
著者:: Shramko, Yaroslav
出版事項: (2012)
The mathematics of infinity a guide to great ideas /
著者:: Faticoni, Theodore G. (Theodore Gerard), 1954-
出版事項: (2012)
著者:: Faticoni, Theodore G. (Theodore Gerard), 1954-
出版事項: (2012)