Beyond sets a venture in collection-theoretic revisionism /
Gorde:
| Egile nagusia: | |
|---|---|
| Erakunde egilea: | |
| Beste egile batzuk: | |
| Formatua: | Baliabide elektronikoa eBook |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Frankfurt :
Ontos Verlag,
2011.
|
| Gaiak: | |
| 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
Set theory
nork: Tourlakis, George J.
Argitaratua: (2003)
nork: Tourlakis, George J.
Argitaratua: (2003)
Set theory and its logic
nork: Quine, W. V. (Willard Van Orman)
Argitaratua: (1969)
nork: Quine, W. V. (Willard Van Orman)
Argitaratua: (1969)
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Argitaratua: (2011)
Argitaratua: (2011)
Set theory and the continuum hypothesis. /
nork: Cohen, Paul J.
nork: 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 /
nork: Grattan-Guinness, I.
Argitaratua: (2000)
nork: Grattan-Guinness, I.
Argitaratua: (2000)
Set theory : an introduction /
nork: Vaught, Robert L, 1926-
Argitaratua: (2001)
nork: Vaught, Robert L, 1926-
Argitaratua: (2001)
Set-theoretic methods in control
nork: Blanchini, Franco
Argitaratua: (2008)
nork: Blanchini, Franco
Argitaratua: (2008)
The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
nork: Ciesielski, Krzysztof, 1957-
Argitaratua: (2004)
nork: Ciesielski, Krzysztof, 1957-
Argitaratua: (2004)
Fuzzy multi-criteria decision making theory and applications with recent developments /
Argitaratua: (2008)
Argitaratua: (2008)
A first course in mathematical logic and set theory /
nork: O'Leary, Michael L.
Argitaratua: (2016)
nork: O'Leary, Michael L.
Argitaratua: (2016)
Nonlinear integrals and their applications in data mining
nork: Wang, Zhenyuan
Argitaratua: (2010)
nork: Wang, Zhenyuan
Argitaratua: (2010)
Mathematical logic
nork: Tourlakis, George J.
Argitaratua: (2003)
nork: Tourlakis, George J.
Argitaratua: (2003)
Elementary concepts of modern mathematics.
nork: Dinkines, Flora
Argitaratua: (1964)
nork: Dinkines, Flora
Argitaratua: (1964)
The mathematics of infinity a guide to great ideas /
nork: Faticoni, Theodore G. (Theodore Gerard), 1954-
Argitaratua: (2012)
nork: Faticoni, Theodore G. (Theodore Gerard), 1954-
Argitaratua: (2012)
Foundations of computing : system development with set theory and logic /
nork: Scheurer, Thierry
Argitaratua: (1994)
nork: Scheurer, Thierry
Argitaratua: (1994)
Infinity and the mind : the science and philosophy of the infinite /
nork: Rucker, Rudy
Argitaratua: (1982)
nork: Rucker, Rudy
Argitaratua: (1982)
Infinity and truth /
Argitaratua: (2014)
Argitaratua: (2014)
Reasoning about fuzzy temporal and spatial information from the web
nork: Schockaert, Steven
Argitaratua: (2010)
nork: Schockaert, Steven
Argitaratua: (2010)
Logic without borders /
Argitaratua: (2015)
Argitaratua: (2015)
Sets and ordered structures
nork: Rudeanu, Sergiu
Argitaratua: (2012)
nork: Rudeanu, Sergiu
Argitaratua: (2012)
Formalism and beyond : on the nature of mathematical discourse /
Argitaratua: (2014)
Argitaratua: (2014)
Tracking reason proof, consequence, and truth /
nork: Azzouni, Jody
Argitaratua: (2006)
nork: Azzouni, Jody
Argitaratua: (2006)
Proof, logic, and formalization
Argitaratua: (1992)
Argitaratua: (1992)
The equations icons of knowledge /
nork: Bais, Sander
Argitaratua: (2005)
nork: Bais, Sander
Argitaratua: (2005)
Recursion theory for metamathematics
nork: Smullyan, Raymond M.
Argitaratua: (1993)
nork: Smullyan, Raymond M.
Argitaratua: (1993)
Institution-independent model theory
nork: Diaconescu, Răzvan
Argitaratua: (2008)
nork: Diaconescu, Răzvan
Argitaratua: (2008)
The equations icons of knowledge /
nork: Bais, Sander
Argitaratua: (2005)
nork: Bais, Sander
Argitaratua: (2005)
Concepts of proof in mathematics, philosophy, and computer science /
Argitaratua: (2016)
Argitaratua: (2016)
Reason's nearest kin philosophies of arithmetic from Kant to Carnap /
nork: Potter, Michael D.
Argitaratua: (2000)
nork: Potter, Michael D.
Argitaratua: (2000)
Fuzzy relational calculus theory, applications and software (with CD-ROM) /
nork: Peeva, Ketty
Argitaratua: (2004)
nork: Peeva, Ketty
Argitaratua: (2004)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
nork: Kupperman, Joel
Argitaratua: (1966)
nork: Kupperman, Joel
Argitaratua: (1966)
Intermediate logic
nork: Bostock, David
Argitaratua: (1997)
nork: Bostock, David
Argitaratua: (1997)
Logic and the foundations of game and decision theory (LOFT 7)
Argitaratua: (2008)
Argitaratua: (2008)
Logic, computation, hierarchies /
Argitaratua: (2014)
Argitaratua: (2014)
The determinacy of long games
nork: Neeman, Itay, 1972-
Argitaratua: (2004)
nork: Neeman, Itay, 1972-
Argitaratua: (2004)
Deducibility and decidability
nork: Gill, R. R. Rockingham, 1944-
Argitaratua: (1990)
nork: Gill, R. R. Rockingham, 1944-
Argitaratua: (1990)
Foundations without foundationalism a case for second-order logic.
nork: Shapiro, Stewart, 1951-
Argitaratua: (2000)
nork: Shapiro, Stewart, 1951-
Argitaratua: (2000)
Logical dynamics of information and interaction
nork: Benthem, J. F. A. K. van, 1949-
Argitaratua: (2011)
nork: Benthem, J. F. A. K. van, 1949-
Argitaratua: (2011)
The elements of mathematical logic.
nork: Rosenbloom, Paul C.
Argitaratua: (1950)
nork: Rosenbloom, Paul C.
Argitaratua: (1950)
Mathematical logic in the 20th century
Argitaratua: (2003)
Argitaratua: (2003)