Beyond sets a venture in collection-theoretic revisionism /
Сохранить в:
| Главный автор: | |
|---|---|
| Соавтор: | |
| Другие авторы: | |
| Формат: | Электронный ресурс eКнига |
| Язык: | английский |
| Опубликовано: |
Frankfurt :
Ontos Verlag,
2011.
|
| Предметы: | |
| Online-ссылка: | An electronic book accessible through the World Wide Web; click to view |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
Set theory
по: Tourlakis, George J.
Опубликовано: (2003)
по: Tourlakis, George J.
Опубликовано: (2003)
Set theory and its logic
по: Quine, W. V. (Willard Van Orman)
Опубликовано: (1969)
по: Quine, W. V. (Willard Van Orman)
Опубликовано: (1969)
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Опубликовано: (2011)
Опубликовано: (2011)
Set theory and the continuum hypothesis. /
по: Cohen, Paul J.
по: 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 /
по: Grattan-Guinness, I.
Опубликовано: (2000)
по: Grattan-Guinness, I.
Опубликовано: (2000)
Set theory : an introduction /
по: Vaught, Robert L, 1926-
Опубликовано: (2001)
по: Vaught, Robert L, 1926-
Опубликовано: (2001)
Set-theoretic methods in control
по: Blanchini, Franco
Опубликовано: (2008)
по: Blanchini, Franco
Опубликовано: (2008)
The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
по: Ciesielski, Krzysztof, 1957-
Опубликовано: (2004)
по: Ciesielski, Krzysztof, 1957-
Опубликовано: (2004)
Fuzzy multi-criteria decision making theory and applications with recent developments /
Опубликовано: (2008)
Опубликовано: (2008)
A first course in mathematical logic and set theory /
по: O'Leary, Michael L.
Опубликовано: (2016)
по: O'Leary, Michael L.
Опубликовано: (2016)
Nonlinear integrals and their applications in data mining
по: Wang, Zhenyuan
Опубликовано: (2010)
по: Wang, Zhenyuan
Опубликовано: (2010)
Mathematical logic
по: Tourlakis, George J.
Опубликовано: (2003)
по: Tourlakis, George J.
Опубликовано: (2003)
Elementary concepts of modern mathematics.
по: Dinkines, Flora
Опубликовано: (1964)
по: Dinkines, Flora
Опубликовано: (1964)
The mathematics of infinity a guide to great ideas /
по: Faticoni, Theodore G. (Theodore Gerard), 1954-
Опубликовано: (2012)
по: Faticoni, Theodore G. (Theodore Gerard), 1954-
Опубликовано: (2012)
Foundations of computing : system development with set theory and logic /
по: Scheurer, Thierry
Опубликовано: (1994)
по: Scheurer, Thierry
Опубликовано: (1994)
Infinity and the mind : the science and philosophy of the infinite /
по: Rucker, Rudy
Опубликовано: (1982)
по: Rucker, Rudy
Опубликовано: (1982)
Infinity and truth /
Опубликовано: (2014)
Опубликовано: (2014)
Reasoning about fuzzy temporal and spatial information from the web
по: Schockaert, Steven
Опубликовано: (2010)
по: Schockaert, Steven
Опубликовано: (2010)
Logic without borders /
Опубликовано: (2015)
Опубликовано: (2015)
Sets and ordered structures
по: Rudeanu, Sergiu
Опубликовано: (2012)
по: Rudeanu, Sergiu
Опубликовано: (2012)
Formalism and beyond : on the nature of mathematical discourse /
Опубликовано: (2014)
Опубликовано: (2014)
Proof, logic, and formalization
Опубликовано: (1992)
Опубликовано: (1992)
Recursion theory for metamathematics
по: Smullyan, Raymond M.
Опубликовано: (1993)
по: Smullyan, Raymond M.
Опубликовано: (1993)
The equations icons of knowledge /
по: Bais, Sander
Опубликовано: (2005)
по: Bais, Sander
Опубликовано: (2005)
Tracking reason proof, consequence, and truth /
по: Azzouni, Jody
Опубликовано: (2006)
по: Azzouni, Jody
Опубликовано: (2006)
The equations icons of knowledge /
по: Bais, Sander
Опубликовано: (2005)
по: Bais, Sander
Опубликовано: (2005)
Institution-independent model theory
по: Diaconescu, Răzvan
Опубликовано: (2008)
по: Diaconescu, Răzvan
Опубликовано: (2008)
Concepts of proof in mathematics, philosophy, and computer science /
Опубликовано: (2016)
Опубликовано: (2016)
Reason's nearest kin philosophies of arithmetic from Kant to Carnap /
по: Potter, Michael D.
Опубликовано: (2000)
по: Potter, Michael D.
Опубликовано: (2000)
Fuzzy relational calculus theory, applications and software (with CD-ROM) /
по: Peeva, Ketty
Опубликовано: (2004)
по: Peeva, Ketty
Опубликовано: (2004)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
по: Kupperman, Joel
Опубликовано: (1966)
по: Kupperman, Joel
Опубликовано: (1966)
Intermediate logic
по: Bostock, David
Опубликовано: (1997)
по: Bostock, David
Опубликовано: (1997)
Logic, computation, hierarchies /
Опубликовано: (2014)
Опубликовано: (2014)
Logic and the foundations of game and decision theory (LOFT 7)
Опубликовано: (2008)
Опубликовано: (2008)
The determinacy of long games
по: Neeman, Itay, 1972-
Опубликовано: (2004)
по: Neeman, Itay, 1972-
Опубликовано: (2004)
Deducibility and decidability
по: Gill, R. R. Rockingham, 1944-
Опубликовано: (1990)
по: Gill, R. R. Rockingham, 1944-
Опубликовано: (1990)
Foundations without foundationalism a case for second-order logic.
по: Shapiro, Stewart, 1951-
Опубликовано: (2000)
по: Shapiro, Stewart, 1951-
Опубликовано: (2000)
Logical dynamics of information and interaction
по: Benthem, J. F. A. K. van, 1949-
Опубликовано: (2011)
по: Benthem, J. F. A. K. van, 1949-
Опубликовано: (2011)
Symbolic logic syntax, semantics, and proof /
по: Agler, David W., 1982-
Опубликовано: (2013)
по: Agler, David W., 1982-
Опубликовано: (2013)
The elements of mathematical logic.
по: Rosenbloom, Paul C.
Опубликовано: (1950)
по: Rosenbloom, Paul C.
Опубликовано: (1950)