Set theory and its logic

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

Infinity and truth /
出版事項: (2014)

Set theory : an introduction /
著者:: Vaught, Robert L, 1926-
出版事項: (2001)

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)

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

Mathematical logic
著者:: Tourlakis, George J.
出版事項: (2003)

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

Set-theoretic methods in control
著者:: Blanchini, Franco
出版事項: (2008)

Nonlinear integrals and their applications in data mining
著者:: Wang, Zhenyuan
出版事項: (2010)

Mathematical logic
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1981)

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

Elementary concepts of modern mathematics.
著者:: Dinkines, Flora
出版事項: (1964)

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

Infinity and the mind : the science and philosophy of the infinite /
著者:: Rucker, Rudy
出版事項: (1982)

Logic without borders /
出版事項: (2015)

Reasoning about fuzzy temporal and spatial information from the web
著者:: Schockaert, Steven
出版事項: (2010)

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

Intermediate logic
著者:: Bostock, David
出版事項: (1997)

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

Word and object
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (2013)

Logic with trees an introduction to symbolic logic /
著者:: Howson, Colin
出版事項: (1997)

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

Mathematical logic
著者:: Chiswell, Ian, 1948-
出版事項: (2007)

Studies in logic
出版事項: (1983)

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

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

In the light of logic
著者:: Feferman, Solomon
出版事項: (1998)

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

Perspectives in logic logical foundations of proof complexity /
著者:: Cook, Stephen, 1948-
出版事項: (2010)

The elements of mathematical logic.
著者:: Rosenbloom, Paul C.
出版事項: (1950)

Recursion theory for metamathematics
著者:: Smullyan, Raymond M.
出版事項: (1993)

Mathematical logic in the 20th century
出版事項: (2003)

Institution-independent model theory
著者:: Diaconescu, Răzvan
出版事項: (2008)

Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
出版事項: (2007)

Formal logic : a philosophical approach /
著者:: Hoyningen-Huene, Paul, 1946-
出版事項: (2004)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
著者:: Benthem, Johan
出版事項: (2006)