Azala

QR Kodea

Set theory and its logic

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Quine, W. V. (Willard Van Orman)
Erakunde egilea:	ebrary, Inc
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	ingelesa
Argitaratua:	Cambridge : Belknap Press of Harvard University Press, [1969]
Edizioa:	Rev. ed.
Gaiak:	Axiomatic set theory. Logic, Symbolic and mathematical. Electronic books.
Sarrera elektronikoa:	An electronic book accessible through the World Wide Web; click to view
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

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

Set theory
nork: Tourlakis, George J.
Argitaratua: (2003)

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

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

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

Infinity and truth /
Argitaratua: (2014)

Set theory : an introduction /
nork: Vaught, Robert L, 1926-
Argitaratua: (2001)

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

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

Mathematical logic
nork: Tourlakis, George J.
Argitaratua: (2003)

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

Set-theoretic methods in control
nork: Blanchini, Franco
Argitaratua: (2008)

Nonlinear integrals and their applications in data mining
nork: Wang, Zhenyuan
Argitaratua: (2010)

Mathematical logic
nork: Quine, W. V. (Willard Van Orman)
Argitaratua: (1981)

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

Elementary concepts of modern mathematics.
nork: Dinkines, Flora
Argitaratua: (1964)

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

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

Logic without borders /
Argitaratua: (2015)

Reasoning about fuzzy temporal and spatial information from the web
nork: Schockaert, Steven
Argitaratua: (2010)

Proof, logic, and formalization
Argitaratua: (1992)

Intermediate logic
nork: Bostock, David
Argitaratua: (1997)

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

Logic, computation, hierarchies /
Argitaratua: (2014)

Symbolic logic syntax, semantics, and proof /
nork: Agler, David W., 1982-
Argitaratua: (2013)

Logic with trees an introduction to symbolic logic /
nork: Howson, Colin
Argitaratua: (1997)

Word and object
nork: Quine, W. V. (Willard Van Orman)
Argitaratua: (2013)

Mathematical logic
nork: Chiswell, Ian, 1948-
Argitaratua: (2007)

Studies in logic
Argitaratua: (1983)

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

In the light of logic
nork: Feferman, Solomon
Argitaratua: (1998)

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

Perspectives in logic logical foundations of proof complexity /
nork: Cook, Stephen, 1948-
Argitaratua: (2010)

The elements of mathematical logic.
nork: Rosenbloom, Paul C.
Argitaratua: (1950)

Recursion theory for metamathematics
nork: Smullyan, Raymond M.
Argitaratua: (1993)

Mathematical logic in the 20th century
Argitaratua: (2003)

Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Argitaratua: (2007)

Institution-independent model theory
nork: Diaconescu, Răzvan
Argitaratua: (2008)

Formal logic : a philosophical approach /
nork: Hoyningen-Huene, Paul, 1946-
Argitaratua: (2004)

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