Нүүр зураг

QR код

Set theory and its logic

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Quine, W. V. (Willard Van Orman)
Байгууллагын зохиогч:	ebrary, Inc
Формат:	Цахим Цахим ном
Хэл сонгох:	англи
Хэвлэсэн:	Cambridge : Belknap Press of Harvard University Press, [1969]
Хэвлэл:	Rev. ed.
Нөхцлүүд:	Axiomatic set theory. Logic, Symbolic and mathematical. Electronic books.
Онлайн хандалт:	An electronic book accessible through the World Wide Web; click to view
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Ижил төстэй зүйлс

The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
-н: Ciesielski, Krzysztof, 1957-
Хэвлэсэн: (2004)

Set theory
-н: Tourlakis, George J.
Хэвлэсэн: (2003)

Beyond sets a venture in collection-theoretic revisionism /
-н: Rescher, Nicholas
Хэвлэсэн: (2011)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Хэвлэсэн: (2011)

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, computation, hierarchies /
Хэвлэсэн: (2014)

Symbolic logic syntax, semantics, and proof /
-н: Agler, David W., 1982-
Хэвлэсэн: (2013)

Logic with trees an introduction to symbolic logic /
-н: Howson, Colin
Хэвлэсэн: (1997)

Studies in logic
Хэвлэсэн: (1983)

Mathematical logic
-н: Chiswell, Ian, 1948-
Хэвлэсэн: (2007)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
-н: Kupperman, Joel
Хэвлэсэн: (1966)

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)

Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Хэвлэсэн: (2007)

Institution-independent model theory
-н: Diaconescu, Răzvan
Хэвлэсэн: (2008)

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)