Infinity and truth /
Sábháilte in:
| Údar corparáideach: | |
|---|---|
| Rannpháirtithe: | |
| Formáid: | Leictreonach Imeacht comhdhála Ríomhleabhar |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
New Jersey :
World Scientific,
[2014]
|
| Sraith: | Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ;
v. 25. |
| Ábhair: | |
| Rochtain ar líne: | An electronic book accessible through the World Wide Web; click to view |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla
Infinity and truth /
Foilsithe / Cruthaithe: (2014)
Foilsithe / Cruthaithe: (2014)
Set theory and its logic
de réir: Quine, W. V. (Willard Van Orman)
Foilsithe / Cruthaithe: (1969)
de réir: Quine, W. V. (Willard Van Orman)
Foilsithe / Cruthaithe: (1969)
Set theory and its logic
de réir: Quine, W. V. (Willard Van Orman)
Foilsithe / Cruthaithe: (1969)
de réir: Quine, W. V. (Willard Van Orman)
Foilsithe / Cruthaithe: (1969)
Infinity and the mind : the science and philosophy of the infinite /
de réir: Rucker, Rudy
Foilsithe / Cruthaithe: (1982)
de réir: Rucker, Rudy
Foilsithe / Cruthaithe: (1982)
Infinity and the mind : the science and philosophy of the infinite /
de réir: Rucker, Rudy
Foilsithe / Cruthaithe: (1982)
de réir: Rucker, Rudy
Foilsithe / Cruthaithe: (1982)
Mathematical logic
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
Mathematical logic
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
Computational prospects of infinity
Foilsithe / Cruthaithe: (2008)
Foilsithe / Cruthaithe: (2008)
Computational prospects of infinity
Foilsithe / Cruthaithe: (2008)
Foilsithe / Cruthaithe: (2008)
The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
de réir: Ciesielski, Krzysztof, 1957-
Foilsithe / Cruthaithe: (2004)
de réir: Ciesielski, Krzysztof, 1957-
Foilsithe / Cruthaithe: (2004)
The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
de réir: Ciesielski, Krzysztof, 1957-
Foilsithe / Cruthaithe: (2004)
de réir: Ciesielski, Krzysztof, 1957-
Foilsithe / Cruthaithe: (2004)
Logic without borders /
Foilsithe / Cruthaithe: (2015)
Foilsithe / Cruthaithe: (2015)
Logic without borders /
Foilsithe / Cruthaithe: (2015)
Foilsithe / Cruthaithe: (2015)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Foilsithe / Cruthaithe: (1998)
Foilsithe / Cruthaithe: (1998)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Foilsithe / Cruthaithe: (1998)
Foilsithe / Cruthaithe: (1998)
Set theory
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
Beyond sets a venture in collection-theoretic revisionism /
de réir: Rescher, Nicholas
Foilsithe / Cruthaithe: (2011)
de réir: Rescher, Nicholas
Foilsithe / Cruthaithe: (2011)
Set theory
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
Beyond sets a venture in collection-theoretic revisionism /
de réir: Rescher, Nicholas
Foilsithe / Cruthaithe: (2011)
de réir: Rescher, Nicholas
Foilsithe / Cruthaithe: (2011)
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Foilsithe / Cruthaithe: (2011)
Foilsithe / Cruthaithe: (2011)
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Foilsithe / Cruthaithe: (2011)
Foilsithe / Cruthaithe: (2011)
A first course in mathematical logic and set theory /
de réir: O'Leary, Michael L.
Foilsithe / Cruthaithe: (2016)
de réir: O'Leary, Michael L.
Foilsithe / Cruthaithe: (2016)
A first course in mathematical logic and set theory /
de réir: O'Leary, Michael L.
Foilsithe / Cruthaithe: (2016)
de réir: O'Leary, Michael L.
Foilsithe / Cruthaithe: (2016)
Computability in context computation and logic in the real world /
Foilsithe / Cruthaithe: (2011)
Foilsithe / Cruthaithe: (2011)
Computability in context computation and logic in the real world /
Foilsithe / Cruthaithe: (2011)
Foilsithe / Cruthaithe: (2011)
Foundations of computing : system development with set theory and logic /
de réir: Scheurer, Thierry
Foilsithe / Cruthaithe: (1994)
de réir: Scheurer, Thierry
Foilsithe / Cruthaithe: (1994)
Set theory and the continuum hypothesis. /
de réir: Cohen, Paul J.
de réir: Cohen, Paul J.
Foundations of computing : system development with set theory and logic /
de réir: Scheurer, Thierry
Foilsithe / Cruthaithe: (1994)
de réir: Scheurer, Thierry
Foilsithe / Cruthaithe: (1994)
Set theory and the continuum hypothesis. /
de réir: Cohen, Paul J.
de réir: Cohen, Paul J.
Logic, computation, hierarchies /
Foilsithe / Cruthaithe: (2014)
Foilsithe / Cruthaithe: (2014)
Logic, computation, hierarchies /
Foilsithe / Cruthaithe: (2014)
Foilsithe / Cruthaithe: (2014)
Tracking reason proof, consequence, and truth /
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)
Tracking reason proof, consequence, and truth /
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)
Concepts of proof in mathematics, philosophy, and computer science /
Foilsithe / Cruthaithe: (2016)
Foilsithe / Cruthaithe: (2016)
Concepts of proof in mathematics, philosophy, and computer science /
Foilsithe / Cruthaithe: (2016)
Foilsithe / Cruthaithe: (2016)
Recursion theory for metamathematics
de réir: Smullyan, Raymond M.
Foilsithe / Cruthaithe: (1993)
de réir: Smullyan, Raymond M.
Foilsithe / Cruthaithe: (1993)
Institution-independent model theory
de réir: Diaconescu, Răzvan
Foilsithe / Cruthaithe: (2008)
de réir: Diaconescu, Răzvan
Foilsithe / Cruthaithe: (2008)
Proof, logic, and formalization
Foilsithe / Cruthaithe: (1992)
Foilsithe / Cruthaithe: (1992)
Recursion theory for metamathematics
de réir: Smullyan, Raymond M.
Foilsithe / Cruthaithe: (1993)
de réir: Smullyan, Raymond M.
Foilsithe / Cruthaithe: (1993)
Proof, logic, and formalization
Foilsithe / Cruthaithe: (1992)
Foilsithe / Cruthaithe: (1992)