Beyond sets a venture in collection-theoretic revisionism /

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.
出版: (2000)

Set theory : an introduction /
由: Vaught, Robert L, 1926-
出版: (2001)

Set-theoretic methods in control
由: Blanchini, Franco
出版: (2008)

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

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

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

Nonlinear integrals and their applications in data mining
由: Wang, Zhenyuan
出版: (2010)

Mathematical logic
由: Tourlakis, George J.
出版: (2003)

Elementary concepts of modern mathematics.
由: Dinkines, Flora
出版: (1964)

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

Foundations of computing : system development with set theory and logic /
由: Scheurer, Thierry
出版: (1994)

Infinity and the mind : the science and philosophy of the infinite /
由: Rucker, Rudy
出版: (1982)

Infinity and truth /
出版: (2014)

Reasoning about fuzzy temporal and spatial information from the web
由: Schockaert, Steven
出版: (2010)

Logic without borders /
出版: (2015)

Sets and ordered structures
由: Rudeanu, Sergiu
出版: (2012)

Formalism and beyond : on the nature of mathematical discourse /
出版: (2014)

Recursion theory for metamathematics
由: Smullyan, Raymond M.
出版: (1993)

The equations icons of knowledge /
由: Bais, Sander
出版: (2005)

Institution-independent model theory
由: Diaconescu, Răzvan
出版: (2008)

Tracking reason proof, consequence, and truth /
由: Azzouni, Jody
出版: (2006)

Proof, logic, and formalization
出版: (1992)

The equations icons of knowledge /
由: Bais, Sander
出版: (2005)

Concepts of proof in mathematics, philosophy, and computer science /
出版: (2016)

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

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
由: Kupperman, Joel
出版: (1966)

Intermediate logic
由: Bostock, David
出版: (1997)

Fuzzy relational calculus theory, applications and software (with CD-ROM) /
由: Peeva, Ketty
出版: (2004)

Logic, computation, hierarchies /
出版: (2014)

Logic and the foundations of game and decision theory (LOFT 7)
出版: (2008)

The determinacy of long games
由: Neeman, Itay, 1972-
出版: (2004)

Deducibility and decidability
由: Gill, R. R. Rockingham, 1944-
出版: (1990)

Foundations without foundationalism a case for second-order logic.
由: Shapiro, Stewart, 1951-
出版: (2000)

Logical dynamics of information and interaction
由: Benthem, J. F. A. K. van, 1949-
出版: (2011)

Symbolic logic syntax, semantics, and proof /
由: Agler, David W., 1982-
出版: (2013)

The elements of mathematical logic.
由: Rosenbloom, Paul C.
出版: (1950)