A first course in mathematical logic and set theory /
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Hoboken, New Jersey :
Wiley,
2016.
|
| 主題: | |
| オンライン･アクセス: | An electronic book accessible through the World Wide Web; click to view |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Mathematical logic
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1981)
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1981)
The elements of mathematical logic.
著者:: Rosenbloom, Paul C.
出版事項: (1950)
著者:: Rosenbloom, Paul C.
出版事項: (1950)
Intermediate logic
著者:: Bostock, David
出版事項: (1997)
著者:: Bostock, David
出版事項: (1997)
Logic with trees an introduction to symbolic logic /
著者:: Howson, Colin
出版事項: (1997)
著者:: Howson, Colin
出版事項: (1997)
Studies in logic
出版事項: (1983)
出版事項: (1983)
Logic and the foundations of game and decision theory (LOFT 7)
出版事項: (2008)
出版事項: (2008)
Formal logic : a philosophical approach /
著者:: Hoyningen-Huene, Paul, 1946-
出版事項: (2004)
著者:: Hoyningen-Huene, Paul, 1946-
出版事項: (2004)
Set theory and its logic
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1969)
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1969)
Mathematical logic
著者:: Tourlakis, George J.
出版事項: (2003)
著者:: Tourlakis, George J.
出版事項: (2003)
Deducibility and decidability
著者:: Gill, R. R. Rockingham, 1944-
出版事項: (1990)
著者:: Gill, R. R. Rockingham, 1944-
出版事項: (1990)
Set theory
著者:: Tourlakis, George J.
出版事項: (2003)
著者:: Tourlakis, George J.
出版事項: (2003)
Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
出版事項: (2011)
出版事項: (2011)
Beyond sets a venture in collection-theoretic revisionism /
著者:: Rescher, Nicholas
出版事項: (2011)
著者:: Rescher, Nicholas
出版事項: (2011)
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)
Infinity and the mind : the science and philosophy of the infinite /
著者:: Rucker, Rudy
出版事項: (1982)
著者:: Rucker, Rudy
出版事項: (1982)
Logic without borders /
出版事項: (2015)
出版事項: (2015)
Mathematical logic
著者:: Chiswell, Ian, 1948-
出版事項: (2007)
著者:: Chiswell, Ian, 1948-
出版事項: (2007)
Infinity and truth /
出版事項: (2014)
出版事項: (2014)
Mathematical logic in the 20th century
出版事項: (2003)
出版事項: (2003)
Classical mathematical logic the semantic foundations of logic /
著者:: Epstein, Richard L.
出版事項: (2011)
著者:: Epstein, Richard L.
出版事項: (2011)
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
著者:: Hopkins, Burt C.
出版事項: (2011)
著者:: Hopkins, Burt C.
出版事項: (2011)
Proof, logic, and formalization
出版事項: (1992)
出版事項: (1992)
In the light of logic
著者:: Feferman, Solomon
出版事項: (1998)
著者:: Feferman, Solomon
出版事項: (1998)
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
出版事項: (2006)
出版事項: (2006)
The Oxford handbook of philosophy of mathematics and logic
出版事項: (2005)
出版事項: (2005)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
著者:: Kupperman, Joel
出版事項: (1966)
著者:: Kupperman, Joel
出版事項: (1966)
Concepts of proof in mathematics, philosophy, and computer science /
出版事項: (2016)
出版事項: (2016)
A tour through mathematical logic
著者:: Wolf, Robert S.
出版事項: (2005)
著者:: Wolf, Robert S.
出版事項: (2005)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
著者:: Benthem, Johan
出版事項: (2006)
著者:: Benthem, Johan
出版事項: (2006)
Symbolic logic syntax, semantics, and proof /
著者:: Agler, David W., 1982-
出版事項: (2013)
著者:: Agler, David W., 1982-
出版事項: (2013)
Logical dynamics of information and interaction
著者:: Benthem, J. F. A. K. van, 1949-
出版事項: (2011)
著者:: Benthem, J. F. A. K. van, 1949-
出版事項: (2011)
Perspectives in logic logical foundations of proof complexity /
著者:: Cook, Stephen, 1948-
出版事項: (2010)
著者:: Cook, Stephen, 1948-
出版事項: (2010)
Logic and discrete mathematics : a concise introduction /
著者:: Conradie, Willem, 1978-, 等
出版事項: (2015)
著者:: Conradie, Willem, 1978-, 等
出版事項: (2015)
Logic and discrete mathematics : a concise introduction /
著者:: Conradie, Willem, 1978-, 等
出版事項: (2015)
著者:: Conradie, Willem, 1978-, 等
出版事項: (2015)
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)