Ata uhi

QR Code

Beyond sets a venture in collection-theoretic revisionism /

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Kaituhi matua:	Rescher, Nicholas
Kaituhi rangatōpū:	ebrary, Inc
Ētahi atu kaituhi:	Grim, Patrick
Hōputu:	Tāhiko īPukapuka
Reo:	Ingarihi
I whakaputaina:	Frankfurt : Ontos Verlag, 2011.
Ngā marau:	Set theory. Logic, Symbolic and mathematical. Electronic books.
Urunga tuihono:	An electronic book accessible through the World Wide Web; click to view
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ngā tūemi rite

Set theory
mā: Tourlakis, George J.
I whakaputaina: (2003)

Set theory and its logic
mā: Quine, W. V. (Willard Van Orman)
I whakaputaina: (1969)

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

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

The search for mathematical roots, 1870-1940 logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /
mā: Grattan-Guinness, I.
I whakaputaina: (2000)

Set theory : an introduction /
mā: Vaught, Robert L, 1926-
I whakaputaina: (2001)

Set-theoretic methods in control
mā: Blanchini, Franco
I whakaputaina: (2008)

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

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

A first course in mathematical logic and set theory /
mā: O'Leary, Michael L.
I whakaputaina: (2016)

Nonlinear integrals and their applications in data mining
mā: Wang, Zhenyuan
I whakaputaina: (2010)

Mathematical logic
mā: Tourlakis, George J.
I whakaputaina: (2003)

Elementary concepts of modern mathematics.
mā: Dinkines, Flora
I whakaputaina: (1964)

The mathematics of infinity a guide to great ideas /
mā: Faticoni, Theodore G. (Theodore Gerard), 1954-
I whakaputaina: (2012)

Foundations of computing : system development with set theory and logic /
mā: Scheurer, Thierry
I whakaputaina: (1994)

Infinity and the mind : the science and philosophy of the infinite /
mā: Rucker, Rudy
I whakaputaina: (1982)

Infinity and truth /
I whakaputaina: (2014)

Reasoning about fuzzy temporal and spatial information from the web
mā: Schockaert, Steven
I whakaputaina: (2010)

Logic without borders /
I whakaputaina: (2015)

Sets and ordered structures
mā: Rudeanu, Sergiu
I whakaputaina: (2012)

Formalism and beyond : on the nature of mathematical discourse /
I whakaputaina: (2014)

Proof, logic, and formalization
I whakaputaina: (1992)

Recursion theory for metamathematics
mā: Smullyan, Raymond M.
I whakaputaina: (1993)

The equations icons of knowledge /
mā: Bais, Sander
I whakaputaina: (2005)

Tracking reason proof, consequence, and truth /
mā: Azzouni, Jody
I whakaputaina: (2006)

The equations icons of knowledge /
mā: Bais, Sander
I whakaputaina: (2005)

Institution-independent model theory
mā: Diaconescu, Răzvan
I whakaputaina: (2008)

Concepts of proof in mathematics, philosophy, and computer science /
I whakaputaina: (2016)

Reason's nearest kin philosophies of arithmetic from Kant to Carnap /
mā: Potter, Michael D.
I whakaputaina: (2000)

Fuzzy relational calculus theory, applications and software (with CD-ROM) /
mā: Peeva, Ketty
I whakaputaina: (2004)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
mā: Kupperman, Joel
I whakaputaina: (1966)

Intermediate logic
mā: Bostock, David
I whakaputaina: (1997)

Logic, computation, hierarchies /
I whakaputaina: (2014)

Logic and the foundations of game and decision theory (LOFT 7)
I whakaputaina: (2008)

The determinacy of long games
mā: Neeman, Itay, 1972-
I whakaputaina: (2004)

Deducibility and decidability
mā: Gill, R. R. Rockingham, 1944-
I whakaputaina: (1990)

Foundations without foundationalism a case for second-order logic.
mā: Shapiro, Stewart, 1951-
I whakaputaina: (2000)

Logical dynamics of information and interaction
mā: Benthem, J. F. A. K. van, 1949-
I whakaputaina: (2011)

Symbolic logic syntax, semantics, and proof /
mā: Agler, David W., 1982-
I whakaputaina: (2013)

The elements of mathematical logic.
mā: Rosenbloom, Paul C.
I whakaputaina: (1950)