関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Logic,Symbolicandmathematical
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | | Architecture of mathematics : hbk | 太秦南館 | Simon Serovajsky | CRC Press | 2021 | 太秦南館:5階閲覧室 410.1||Se84a |
2 | | The Continued Exercise of Reason : Public Addresses by George Boole : electronic bk ( MIT Press Ser ) | その他 | | MIT Press | 2018 | オンライン |
3 | | Elements of causal inference : foundations and learning algorithms : hardcover ( Adaptive computation and machine learning ) | 太秦南館 | Jonas Peters, Dominik Janzing, and Bernhard Schölkopf | MIT Press | 2017 | 太秦南館:5階閲覧室 007.13||P45e |
4 | | Foundations of logic : 1903-05 ( The collected papers of Bertrand Russell ; v. 4 ) | 亀岡本館 | Bertrand Russell, edited by Alasdair Urquhart with the assistance of Albert C. Lewis | Routledge | 1994 | 亀岡本館:書庫 133.54||R89c||4 |
5 | | Foundations of mathematical logic | 亀岡本館 | Haskell B. Curry | Dover Publications | 1977 | 亀岡本館:書庫 410.1||Cu |
6 | | An invitation to applied category theory : seven sketches in compositionality : hbk. , : pbk. | 太秦南館 | Brendan Fong, David I. Spivak | Cambridge University Press | 2019 | 太秦南館:5階閲覧室 411.6||F38i |
7 | | The Legacy of Kurt Schütte | 太秦南館 | Reinhard Kahle, Michael Rathjen, editors | Springer | 2020 | 太秦南館:5階閲覧室 410.96||L52 |
8 | | The limits of logic : higher-order logic and the Löwenheim-Skolem theorem ( The international research library of philosophy ; 18[ The philosophy of logic, language and mind] ) | 亀岡本館 | edited by Stewart Shapiro | Dartmouth | 1996 | 亀岡本館:書庫 108||I57||18 |
9 | | Logical investigations ( Library of philosophy and logic ) | 亀岡本館 | Gottlob Frege, edited with a preface by P.T. Geach, translated by P.T. Geach and R.H. Stoothoff | Blackwell | 1977 | 亀岡本館:書庫 116||F46l |
10 | | Logic and information flow : electronic bk ( Foundations of computing ) | その他 | edited by Jan van Eijck and Albert Visser | MIT Press | 1994 | オンライン |
選択行を:
|