Search results for "Mathematical logic" | NDL Search

Search results 669

Group by title

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)

Paper図書

Springer[2021]<M17-22-630>

National Diet LibraryOther Libraries in Japan

Author HeadingSymposium on Advances in Mathematical Logic (2018 : Kōbe Daigaku) Takeut...

Mathematical Logic and Its Applications 2020

Digital電子書籍・電子雑誌図書

2021

Available onlineNational Diet Library

MLQ : Mathematical Logic Quarterly

Paper雑誌

J. Ambrosius Barth<Z53-A204>

National Diet Library

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

Paper図書

レイモンド・M・スマリヤン著, 田中一之監訳, 川辺治之訳日本評論社2018.9<MA41-L89>

National Diet LibraryOther Libraries in Japan

Note (General)原タイトル: A BEGINNER'S FURTHER GUIDE TO MATHEMATICAL LOGIC
Alternative TitleRaymond M.Smullyan Lectures on Mathematical Logic
Alternative TitleRaymond M.Smullyan Lectures on Mathematical Logic

現代数理論理学入門復刊

Paper図書

J.N.クロスリー他著, 田中尚夫訳共立出版2017.4<MA41-L67>

National Diet LibraryOther Libraries in Japan

Note (General)原タイトル: What is Mathematical Logic?
Additional TitleWhat is Mathematical Logic?

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

Paper図書

レイモンド・M・スマリヤン著, 田中一之監訳, 川辺治之訳日本評論社2017.9<MA41-L70>

National Diet LibraryOther Libraries in Japan

Note (General)原タイトル: A BEGINNER'S GUIDE TO MATHEMATICAL LOGIC
Alternative TitleRaymond M.Smullyan Lectures on Mathematical Logic
Alternative TitleRaymond M.Smullyan Lectures on Mathematical Logic

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

Paper図書

Oxford University Press2010.<MA41-B31>

National Diet Library

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

Paper図書

W.W. Norton & Co.2008.<YZ-B1830>

National Diet LibraryOther Libraries in Japan

数学基礎論増補版

Paper図書

新井敏康著東京大学出版会2021.4<MA41-M32>

National Diet LibraryOther Libraries in Japan

Toc / Article...　演習略解付録C　文献案内 Mathematical Logic Expanded Revised Edition Tosh...
Alternative TitleMathematical Logic
Alternative TitleMathematical Logic

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

Paper図書

Plenum Pressc1990.<M17-90-2674>

National Diet Library

Note (General)...erm: Heyting ; mathematical logic. BL shelfmark: q90/26995 Math...
Alternative Title...' 88 Heyting ; mathematical logic
Alternative Title...' 88 Heyting ; mathematical logic

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

Paper図書

Birkhäuser Verlag1992.<MA25-A64>

National Diet LibraryOther Libraries in Japan

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)

Paper図書

Springer-Verlag1989.<M15-A5048>

National Diet LibraryOther Libraries in Japan

Note (General)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.

Paper図書

Plenum Pressc1987.<M17-88-1070>

National Diet Library

Note (General)...y. Index term: mathematical logic ; Godel. BL shelfmark: 88/168...
Alternative TitleHeld in honor of Kurt Godels 80th birthday mathematical logic ; Godel
Alternative TitleHeld 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)

Paper図書

Springer-Verlagc1985.<M15-A2979>

National Diet LibraryOther Libraries in Japan

Author HeadingLatin-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)

Paper図書

Springer-Verlagc1987.<M15-A2840>

National Diet LibraryOther Libraries in Japan

Note (General)...odel Theory in Mathematical Logic: Classification Theory"-- Pre...
Author HeadingU.S.-Israel Workshop on Model Theory in Mathematical Logic (1985 : Chicago) Baldwin, Joh...

Mathematical logic.

Paper図書

Wiley[1967]<510.1-K63m>

National Diet Library

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

PaperDigital図書

Peter B.Andrews 著, 小川原倫子訳丸善1987.12<MA41-E4>

National Diet LibraryOther Libraries in Japan

Note (General)原タイトル: An introduction to mathematical logic and type theory
Additional TitleAn introduction to mathematical logic and type theory

数理論理学

Paper図書

戸次大介著東京大学出版会2012.3<MA41-J74>

National Diet LibraryOther Libraries in Japan

Alternative Titlemathematical logic
Alternative Titlemathematical logic

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

Paper図書

North-Holland Pub. Co.1981.<M159-184>

National Diet Library

Note (General)... Colloquium on Mathematical Logic in Computer Science held in S...
Author Heading... 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)

Paper図書

North-Holland Pub. Co.1980.<MA41-156>

National Diet Library

Author HeadingLatin-American Symposium on Mathematical Logic, 4th, Santiago de Chile, 1978...