The search for mathematical roots, 1870-1940 logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /
Պահպանված է:
Հիմնական հեղինակ: | Grattan-Guinness, I. |
---|---|
Համատեղ հեղինակ: | ebrary, Inc |
Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
Լեզու: | անգլերեն |
Հրապարակվել է: |
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)
Reason's nearest kin philosophies of arithmetic from Kant to Carnap /
: Potter, Michael D.
Հրապարակվել է: (2000)
: Potter, Michael D.
Հրապարակվել է: (2000)
Propositions, functions, and analysis selected essays on Russell's philosophy /
: Hylton, Peter
Հրապարակվել է: (2005)
: Hylton, Peter
Հրապարակվել է: (2005)
Foundational Theories of Classical and Constructive Mathematics
: Sommaruga, Giovanni
Հրապարակվել է: (2011)
: Sommaruga, Giovanni
Հրապարակվել է: (2011)
Fuzzy multi-criteria decision making theory and applications with recent developments /
Հրապարակվել է: (2008)
Հրապարակվել է: (2008)
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)
Truth and Falsehood An Inquiry into Generalized Logical Values /
: Shramko, Yaroslav
Հրապարակվել է: (2012)
: Shramko, Yaroslav
Հրապարակվել է: (2012)
The architecture of modern mathematics essays in history and philosophy /
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
The mathematics of infinity a guide to great ideas /
: Faticoni, Theodore G. (Theodore Gerard), 1954-
Հրապարակվել է: (2012)
: Faticoni, Theodore G. (Theodore Gerard), 1954-
Հրապարակվել է: (2012)
Նմանատիպ նյութեր
-
Elementary concepts of modern mathematics.
: Dinkines, Flora
Հրապարակվել է: (1964) -
Symbolic logic and the real number system : an introduction to the foundations of number systems /
: Lightstone, A. H.
Հրապարակվել է: (1965) -
Set theory
: Tourlakis, George J.
Հրապարակվել է: (2003) -
Beyond sets a venture in collection-theoretic revisionism /
: Rescher, Nicholas
Հրապարակվել է: (2011) -
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Հրապարակվել է: (2011)