Côd QR

The search for mathematical roots, 1870-1940 logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Grattan-Guinness, I.
Awdur Corfforaethol:	ebrary, Inc
Fformat:	Electronig eLyfr
Iaith:	Saesneg
Cyhoeddwyd:	Princeton, N.J. : Princeton University Press, c2000.
Pynciau:	Arithmetic > Foundations > History > 19th century. Arithmetic > Foundations > History > 20th century. Set theory > History > 19th century. Set theory > History > 20th century. Logic, Symbolic and mathematical > History > 19th century. Logic, Symbolic and mathematical > History > 20th century. Electronic books.
Mynediad Ar-lein:	An electronic book accessible through the World Wide Web; click to view
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

Elementary concepts of modern mathematics.
gan: Dinkines, Flora
Cyhoeddwyd: (1964)

Symbolic logic and the real number system : an introduction to the foundations of number systems /
gan: Lightstone, A. H.
Cyhoeddwyd: (1965)

Set theory
gan: Tourlakis, George J.
Cyhoeddwyd: (2003)

Beyond sets a venture in collection-theoretic revisionism /
gan: Rescher, Nicholas
Cyhoeddwyd: (2011)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Cyhoeddwyd: (2011)

Set theory and its logic
gan: Quine, W. V. (Willard Van Orman)
Cyhoeddwyd: (1969)

Basic concepts of mathematics /
gan: Webber, G. Cuthbert (George Cuthbert), 1906-
Cyhoeddwyd: (1963)

Set theory and the continuum hypothesis. /
gan: Cohen, Paul J.

Number systems and their uses /
gan: Wolf, Frank L. (Frank Louis)
Cyhoeddwyd: (1971)

Mathematical logic
gan: Tourlakis, George J.
Cyhoeddwyd: (2003)

A first course in mathematical logic and set theory /
gan: O'Leary, Michael L.
Cyhoeddwyd: (2016)

Infinity and the mind : the science and philosophy of the infinite /
gan: Rucker, Rudy
Cyhoeddwyd: (1982)

Essays in the philosophy and history of logic and mathematics
gan: Murawski, Roman
Cyhoeddwyd: (2010)

Logos and máthema studies in the philosophy of mathematics and history of logic /
gan: Murawski, Roman
Cyhoeddwyd: (2011)

Russell's hidden substitutional theory
gan: Landini, Gregory
Cyhoeddwyd: (1998)

Foundations of computing : system development with set theory and logic /
gan: Scheurer, Thierry
Cyhoeddwyd: (1994)

Introduction to logic and to the methodology of the deductive sciences
gan: Tarski, Alfred
Cyhoeddwyd: (1994)

Infinity and truth /
Cyhoeddwyd: (2014)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
gan: Benthem, Johan
Cyhoeddwyd: (2006)

Propositions, functions, and analysis selected essays on Russell's philosophy /
gan: Hylton, Peter
Cyhoeddwyd: (2005)

Reason's nearest kin philosophies of arithmetic from Kant to Carnap /
gan: Potter, Michael D.
Cyhoeddwyd: (2000)

Foundational Theories of Classical and Constructive Mathematics
gan: Sommaruga, Giovanni
Cyhoeddwyd: (2011)

Fuzzy multi-criteria decision making theory and applications with recent developments /
Cyhoeddwyd: (2008)

Constructive Negations and Paraconsistency
gan: Odintsov, Sergei P.
Cyhoeddwyd: (2008)

The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
gan: Ciesielski, Krzysztof, 1957-
Cyhoeddwyd: (2004)

Scenario Logic and Probabilistic Management of Risk in Business and Engineering
gan: Solojentsev, E. D.
Cyhoeddwyd: (2005)

Logic without borders /
Cyhoeddwyd: (2015)

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
gan: Dybjer, P.
Cyhoeddwyd: (2012)

The Arch Papers on the Mathematics of Abstraction
gan: Cook, Roy T.
Cyhoeddwyd: (2007)

Strict Finitism and the Logic of Mathematical Applications
gan: Ye, Feng
Cyhoeddwyd: (2011)

Set theory : an introduction /
gan: Vaught, Robert L, 1926-
Cyhoeddwyd: (2001)

Nonlinear integrals and their applications in data mining
gan: Wang, Zhenyuan
Cyhoeddwyd: (2010)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
gan: Carnielli, Walter
Cyhoeddwyd: (2008)

Computer arithmetic and validity theory, implementation, and applications /
gan: Kulisch, Ulrich
Cyhoeddwyd: (2008)

Computer arithmetic and validity theory, implementation, and applications /
gan: Kulisch, Ulrich
Cyhoeddwyd: (2013)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
gan: Kerkhove, Bart
Cyhoeddwyd: (2007)

Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
gan: Atten, Mark
Cyhoeddwyd: (2007)

Truth and Falsehood An Inquiry into Generalized Logical Values /
gan: Shramko, Yaroslav
Cyhoeddwyd: (2012)

The architecture of modern mathematics essays in history and philosophy /
Cyhoeddwyd: (2006)

The mathematics of infinity a guide to great ideas /
gan: Faticoni, Theodore G. (Theodore Gerard), 1954-
Cyhoeddwyd: (2012)