Jump to main content

yr 〜
yr

Search results 585

大学数学の根幹

大学数学の根幹
Paper図書
Ian Stewart, David Tall 著, 蟹江幸博 訳共立出版2024.2<MA21-R14>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: The Foundations of Mathematics 原著第2版の翻訳
  • Additional TitleThe Foundations of Mathematics

4th IFAC workshop on thermodynamic foundations of mathematical systems theory (TFMST 2022) : Montreal, Canada : 25-27 July 2022 : Jul 2022, ------. (IFAC PapersOnline ; 55 (18))

4th IFAC workshop on thermodynamic foundations of mathematical systems theory (TFMST 2022) : Montreal, Canada : 25-27 July 2022 : Jul 2022, ------. (IFAC PapersOnline ; 55 (18))
Paper図書
Elsevier Ltd.[2022]<M17-22-1148>
National Diet LibraryOther Libraries in Japan

3rd IFAC workshop on thermodynamic foundations of mathematical systems theory (TFMST 2019) : Louvain-la-Neuve, Belgium : 3-5 July 2019 : Jul 2019, Louvain-la-Neuve, Belgium. (IFAC PapersOnline ; 52 (7))

3rd IFAC workshop on thermodynamic foundations of mathematical systems theory (TFMST 2019) : Louvain-la-Neuve, Belgium : 3-5 July 2019 : Jul 2019, Louvain-la-Neuve, Belgium. (IFAC PapersOnline ; 52 (7))
Paper図書
Elsevier Ltd.[2019]<M17-20-1448>
National Diet Library

2nd IFAC workshop on thermodynamic foundations of mathematical systems theory (TFMST 2016) : Vigo, Spain : 28-30 September 2016 : Sep 2016, Vigo, Spain. (IFAC PapersOnline ; 49 (24))

2nd IFAC workshop on thermodynamic foundations of mathematical systems theory (TFMST 2016) : Vigo, Spain : 28-30 September 2016 : Sep 2016, Vigo, Spain. (IFAC PapersOnline ; 49 (24))
Paper図書
Elsevier Ltd.[2016]<M17-18-579>
National Diet Library

キューネン数学基礎論講義

キューネン数学基礎論講義
Paper図書
ケネス・キューネン 著, 藤田博司 訳日本評論社2016.7<MA41-L56>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: THE FOUNDATIONS OF MATHEMATICS
  • Additional TitleTHE FOUNDATIONS OF MATHEMATICS

Space, time and number in the brain : searching for the foundations of mathematical thought : an attention and performance series volume 1st ed. (Attention and performance series)

Space, time and number in the brain : searching for the foundations of mathematical thought : an attention and performance series volume 1st ed. (Attention and performance series)
Paper図書
edited by Stanislas Dehaene and Elizabeth M. Brannon.Elsevier Academic Press2011.<SC364-B90>
National Diet Library

1st IFAC workshop on thermodynamic foundations of mathematical systems theory 2013 : Lyon, France : 13-16 July 2013 : TFMST 2013 : Jul 2013, Lyon, France.

1st IFAC workshop on thermodynamic foundations of mathematical systems theory 2013 : Lyon, France : 13-16 July 2013 : TFMST 2013 : Jul 2013, Lyon, France.
Paper図書
Elsevier[2013].<M17-14-1478>
National Diet Library

ウィトゲンシュタインの講義 : 数学の基礎篇 : ケンブリッジ1939年 (講談社学術文庫 ; 2276)

ウィトゲンシュタインの講義 : 数学の基礎篇 : ケンブリッジ1939年 (講談社学術文庫 ; 2276)
Paper図書
ウィトゲンシュタイン [述], コーラ・ダイアモンド 編, 大谷弘, 古田徹也 訳講談社2015.1<HD31-L10>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: WITTGENSTEIN'S LECTURES ON THE FOUNDATIONS OF MATHEMATICS
  • Additional TitleWITTGENSTEIN'S LECTURES ON THE FOUNDATIONS OF MATHEMATICS

The foundations of mathematics in the theory of sets / J.P. Mayberry. (Encyclopedia of mathematics and its applications ; v. 82)

The foundations of mathematics in the theory of sets / J.P. Mayberry. (Encyclopedia of mathematics and its applications ; v. 82)
Paper図書
Cambridge University Press2000.<MA41-A120>
National Diet Library

数学を拡げた先駆者たち : 無限、集合、カオス理論の誕生 (数学を切りひらいた人びと ; 3)

数学を拡げた先駆者たち : 無限、集合、カオス理論の誕生 (数学を切りひらいた人びと ; 3)
Paper図書児童書
マイケル・J.ブラッドリー 著, 松浦俊輔 訳青土社2009.4<MA25-J54>
National Diet LibraryOther Libraries in Japan
  • Note (General)並列シリーズ名: Pioneers in mathematics 原タイトル: The foundations of mathematics
  • Additional TitleThe foundations of mathematics

Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini. (Studies in logic and the foundations of mathematics ; v. 135)

Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini. (Studies in logic and the foundations of mathematics ; v. 135)
Paper図書
Elsevier Science B.V.1996.<MA41-A102>
National Diet Library

From Dedekind to Gödel : essays on the development of the foundations of mathematics / edited by Jaakko Hintikka. (Synthese library ; v. 251)

From Dedekind to Gödel : essays on the development of the foundations of mathematics / edited by Jaakko Hintikka. (Synthese library ; v. 251)
Paper図書
Kluwer Academic Publishersc1995.<MA41-A101>
National Diet Library

Hausdorff gaps and limits / Ryszard Frankiewicz, Paweł Zbierski. (Studies in logic and the foundations of mathematics ; v. 132)

Hausdorff gaps and limits / Ryszard Frankiewicz, Paweł Zbierski. (Studies in logic and the foundations of mathematics ; v. 132)
Paper図書
North-Holland1994.<MA81-A105>
National Diet Library

Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]. (Studies in logic and the foundations of mathematics ; v. 133)

Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]. (Studies in logic and the foundations of mathematics ; v. 133)
Paper図書
Elsevier1994.<MA41-A92>
National Diet Library

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)
Paper図書
North-Hollandc1992.<MA41-A80>
National Diet Library

Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings

Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings
Digital電子書籍・電子雑誌図書
Springer-Verlag1996
Available onlineNational Diet Library

Language in action : categories, lambdas and dynamic logic / Johan van Benthem. (Studies in logic and the foundations of mathematics ; vol. 130)

Language in action : categories, lambdas and dynamic logic / Johan van Benthem. (Studies in logic and the foundations of mathematics ; vol. 130)
Paper図書
North-Holland1991.<MA41-A76>
National Diet Library

Computability, complexity, logic / E. Börger. (Studies in logic and the foundations of mathematics ; v. 128)

Computability, complexity, logic / E. Börger. (Studies in logic and the foundations of mathematics ; v. 128)
Paper図書
North-Holland1989.<MA41-A61>
National Diet Library

Model theory / C.C. Chang and H.J. Keisler. 3rd ed. (Studies in logic and the foundation of mathematics ; v. 73)

Model theory / C.C. Chang and H.J. Keisler. 3rd ed. (Studies in logic and the foundation of mathematics ; v. 73)
Paper図書
North-Holland1990.<MA41-A68>
National Diet LibraryOther Libraries in Japan

Classification theory and the number of non-isomorphic models / S. Shelah. Rev. ed. (Studies in logic and the foundations of mathematics ; v. 92)

Classification theory and the number of non-isomorphic models / S. Shelah. Rev. ed. (Studies in logic and the foundations of mathematics ; v. 92)
Paper図書
North-Holland1990.<MA41-A73>
National Diet Library
RSS