年 〜
年

検索結果 669 件

Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions : symposium on advances in mathematical logic 2018 : SAML2018 : Sep 2018, Kobe, Japan. (Springer Proceedings in Mathematics & Statistics ; 369)

Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions : symposium on advances in mathematical logic 2018 : SAML2018 : Sep 2018, Kobe, Japan. (Springer Proceedings in Mathematics & Statistics ; 369)
紙図書
Springer[2021]<M17-22-630>
国立国会図書館全国の図書館
  • 著者標目Symposium on Advances in Mathematical Logic (2018 : Kōbe Daigaku) Takeut...

Mathematical Logic and Its Applications 2020

Mathematical Logic and Its Applications 2020
デジタル電子書籍・電子雑誌図書
2021
インターネットで読める国立国会図書館

MLQ : Mathematical Logic Quarterly

MLQ : Mathematical Logic Quarterly
紙雑誌
J. Ambrosius Barth<Z53-A204>
国立国会図書館
  •  
  •  
  •  
  •  
  •  
    •  

スマリヤン数理論理学講義 下巻

スマリヤン数理論理学講義 下巻
紙図書
レイモンド・M・スマリヤン 著, 田中一之 監訳, 川辺治之 訳日本評論社2018.9<MA41-L89>
国立国会図書館全国の図書館
  • 一般注記原タイトル: A BEGINNER'S FURTHER GUIDE TO MATHEMATICAL LOGIC
  • 並列タイトル等（連結）Raymond M.Smullyan Lectures on Mathematical Logic
  • 並列タイトル等Raymond M.Smullyan Lectures on Mathematical Logic

現代数理論理学入門 復刊

現代数理論理学入門 復刊
紙図書
J.N.クロスリー 他著, 田中尚夫 訳共立出版2017.4<MA41-L67>
国立国会図書館全国の図書館
  • 一般注記原タイトル: What is Mathematical Logic?
  • その他のタイトルWhat is Mathematical Logic?

スマリヤン数理論理学講義 上巻

スマリヤン数理論理学講義 上巻
紙図書
レイモンド・M・スマリヤン 著, 田中一之 監訳, 川辺治之 訳日本評論社2017.9<MA41-L70>
国立国会図書館全国の図書館
  • 一般注記原タイトル: A BEGINNER'S GUIDE TO MATHEMATICAL LOGIC
  • 並列タイトル等（連結）Raymond M.Smullyan Lectures on Mathematical Logic
  • 並列タイトル等Raymond M.Smullyan Lectures on Mathematical Logic

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / Paolo Mancosu.

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / Paolo Mancosu.
紙図書
Oxford University Press2010.<MA41-B31>
国立国会図書館

Lewis Carroll in numberland : his fantastical mathematical logical life : an agony in eight fits / Robin Wilson. 1st American ed.

Lewis Carroll in numberland : his fantastical mathematical logical life : an agony in eight fits / Robin Wilson. 1st American ed.
紙図書
W.W. Norton & Co.2008.<YZ-B1830>
国立国会図書館全国の図書館

数学基礎論 増補版

数学基礎論 増補版
紙図書
新井敏康 著東京大学出版会2021.4<MA41-M32>
国立国会図書館全国の図書館
  • 目次・記事...　演習略解 付録C　文献案内 Mathematical Logic Expanded Revised Edition Tosh...
  • 並列タイトル等（連結）Mathematical Logic
  • 並列タイトル等Mathematical Logic

Mathematical logic : Summer school and conference : Sep 1988, Chaika, Bulgaria.

Mathematical logic : Summer school and conference : Sep 1988, Chaika, Bulgaria.
紙図書
Plenum Pressc1990.<M17-90-2674>
国立国会図書館
  • 一般注記...erm: Heyting ; mathematical logic. BL shelfmark: q90/26995 Math...
  • 並列タイトル等（連結）...' 88 Heyting ; mathematical logic
  • 並列タイトル等...' 88 Heyting ; mathematical logic

Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory / edited by A.N. Kolmogorov, A.P. Yushkevich.

Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory / edited by A.N. Kolmogorov, A.P. Yushkevich.
紙図書
Birkhäuser Verlag1992.<MA25-A64>
国立国会図書館全国の図書館

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugué (eds.). (Lecture notes in mathematics ; 1388)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugué (eds.). (Lecture notes in mathematics ; 1388)
紙図書
Springer-Verlag1989.<M15-A5048>
国立国会図書館全国の図書館
  • 一般注記The '87th Meeting on Mathematical Logic and its Application was held ...

Mathematical logic and its applications : Advanced international summer school and conference : Sep 1986, Druzhba, Bulgaria.

Mathematical logic and its applications : Advanced international summer school and conference : Sep 1986, Druzhba, Bulgaria.
紙図書
Plenum Pressc1987.<M17-88-1070>
国立国会図書館
  • 一般注記...y. Index term: mathematical logic ; Godel. BL shelfmark: 88/168...
  • 並列タイトル等（連結）Held in honor of Kurt Godels 80th birthday mathematical logic ; Godel
  • 並列タイトル等Held in honor of Kurt Godels 80th birthday mathematical logic ; Godel

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco. (Lecture notes in mathematics ; 1130)

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco. (Lecture notes in mathematics ; 1130)
紙図書
Springer-Verlagc1985.<M15-A2979>
国立国会図書館全国の図書館
  • 著者標目Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas, Venezu...

Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985 / J.T. Baldwin (ed.). (Lecture notes in mathematics ; 1292)

Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985 / J.T. Baldwin (ed.). (Lecture notes in mathematics ; 1292)
紙図書
Springer-Verlagc1987.<M15-A2840>
国立国会図書館全国の図書館
  • 一般注記...odel Theory in Mathematical Logic: Classification Theory"-- Pre...
  • 著者標目U.S.-Israel Workshop on Model Theory in Mathematical Logic (1985 : Chicago) Baldwin, Joh...

Mathematical logic.

Mathematical logic.
紙図書
Wiley[1967]<510.1-K63m>
国立国会図書館

数理論理学とタイプ理論 : 証明による真理へ

数理論理学とタイプ理論 : 証明による真理へ
紙デジタル図書
Peter B.Andrews 著, 小川原倫子 訳丸善1987.12<MA41-E4>
国立国会図書館全国の図書館
  • 一般注記原タイトル: An introduction to mathematical logic and type theory
  • その他のタイトルAn introduction to mathematical logic and type theory

数理論理学

数理論理学
紙図書
戸次大介 著東京大学出版会2012.3<MA41-J74>
国立国会図書館全国の図書館
  • 並列タイトル等（連結）mathematical logic
  • 並列タイトル等mathematical logic

Mathematical logic in computer science / edited by B. Dömölki and T. Gergely. (Colloquia mathematica societatis János Bolyai ; 26)

Mathematical logic in computer science / edited by B. Dömölki and T. Gergely. (Colloquia mathematica societatis János Bolyai ; 26)
紙図書
North-Holland Pub. Co.1981.<M159-184>
国立国会図書館
  • 一般注記... Colloquium on Mathematical Logic in Computer Science held in S...
  • 著者標目... Colloquium on Mathematical Logic in Computer Science (1978 : S...

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa. (Studies in logic and the foundations of mathematics ; v. 99)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa. (Studies in logic and the foundations of mathematics ; v. 99)
紙図書
North-Holland Pub. Co.1980.<MA41-156>
国立国会図書館
  • 著者標目Latin-American Symposium on Mathematical Logic, 4th, Santiago de Chile, 1978...