Infinity and truth /
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 電子媒体 会議録 eBook |
| 言語: | 英語 |
| 出版事項: |
New Jersey :
World Scientific,
[2014]
|
| シリーズ: | Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ;
v. 25. |
| 主題: | |
| オンライン･アクセス: | An electronic book accessible through the World Wide Web; click to view |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Infinity and truth /
出版事項: (2014)
出版事項: (2014)
Set theory and its logic
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1969)
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1969)
Set theory and its logic
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1969)
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1969)
Infinity and the mind : the science and philosophy of the infinite /
著者:: Rucker, Rudy
出版事項: (1982)
著者:: Rucker, Rudy
出版事項: (1982)
Infinity and the mind : the science and philosophy of the infinite /
著者:: Rucker, Rudy
出版事項: (1982)
著者:: Rucker, Rudy
出版事項: (1982)
Mathematical logic
著者:: Tourlakis, George J.
出版事項: (2003)
著者:: Tourlakis, George J.
出版事項: (2003)
Mathematical logic
著者:: Tourlakis, George J.
出版事項: (2003)
著者:: Tourlakis, George J.
出版事項: (2003)
Computational prospects of infinity
出版事項: (2008)
出版事項: (2008)
Computational prospects of infinity
出版事項: (2008)
出版事項: (2008)
The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
著者:: Ciesielski, Krzysztof, 1957-
出版事項: (2004)
著者:: Ciesielski, Krzysztof, 1957-
出版事項: (2004)
The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
著者:: Ciesielski, Krzysztof, 1957-
出版事項: (2004)
著者:: Ciesielski, Krzysztof, 1957-
出版事項: (2004)
Logic without borders /
出版事項: (2015)
出版事項: (2015)
Logic without borders /
出版事項: (2015)
出版事項: (2015)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
出版事項: (1998)
出版事項: (1998)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
出版事項: (1998)
出版事項: (1998)
Set theory
著者:: Tourlakis, George J.
出版事項: (2003)
著者:: Tourlakis, George J.
出版事項: (2003)
Beyond sets a venture in collection-theoretic revisionism /
著者:: Rescher, Nicholas
出版事項: (2011)
著者:: Rescher, Nicholas
出版事項: (2011)
Set theory
著者:: Tourlakis, George J.
出版事項: (2003)
著者:: Tourlakis, George J.
出版事項: (2003)
Beyond sets a venture in collection-theoretic revisionism /
著者:: Rescher, Nicholas
出版事項: (2011)
著者:: Rescher, Nicholas
出版事項: (2011)
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
出版事項: (2011)
出版事項: (2011)
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
出版事項: (2011)
出版事項: (2011)
A first course in mathematical logic and set theory /
著者:: O'Leary, Michael L.
出版事項: (2016)
著者:: O'Leary, Michael L.
出版事項: (2016)
A first course in mathematical logic and set theory /
著者:: O'Leary, Michael L.
出版事項: (2016)
著者:: O'Leary, Michael L.
出版事項: (2016)
Computability in context computation and logic in the real world /
出版事項: (2011)
出版事項: (2011)
Computability in context computation and logic in the real world /
出版事項: (2011)
出版事項: (2011)
Foundations of computing : system development with set theory and logic /
著者:: Scheurer, Thierry
出版事項: (1994)
著者:: Scheurer, Thierry
出版事項: (1994)
Set theory and the continuum hypothesis. /
著者:: Cohen, Paul J.
著者:: Cohen, Paul J.
Foundations of computing : system development with set theory and logic /
著者:: Scheurer, Thierry
出版事項: (1994)
著者:: Scheurer, Thierry
出版事項: (1994)
Set theory and the continuum hypothesis. /
著者:: Cohen, Paul J.
著者:: Cohen, Paul J.
Logic, computation, hierarchies /
出版事項: (2014)
出版事項: (2014)
Logic, computation, hierarchies /
出版事項: (2014)
出版事項: (2014)
Tracking reason proof, consequence, and truth /
著者:: Azzouni, Jody
出版事項: (2006)
著者:: Azzouni, Jody
出版事項: (2006)
Tracking reason proof, consequence, and truth /
著者:: Azzouni, Jody
出版事項: (2006)
著者:: Azzouni, Jody
出版事項: (2006)
Concepts of proof in mathematics, philosophy, and computer science /
出版事項: (2016)
出版事項: (2016)
Concepts of proof in mathematics, philosophy, and computer science /
出版事項: (2016)
出版事項: (2016)
Recursion theory for metamathematics
著者:: Smullyan, Raymond M.
出版事項: (1993)
著者:: Smullyan, Raymond M.
出版事項: (1993)