Language: English

圖資館首頁

Login

Languages

English (2)

Jump To : Overview | Titles | Subjects

Arai, Toshiyasu.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Advances in mathematical logicdedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions / by: (1998 :); Arai, Toshiyasu.; SpringerLink (Online service) (Electronic resources)

Ordinal analysis with an introduction to proof theory by: Arai, Toshiyasu.; SpringerLink (Online service) (Electronic resources)

Subjects

Logic. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Mathematics of Computing. Proof theory. Logic, Symbolic and mathematical Arithmetic and Logic Structures. Philosophy of Mathematics.

Change password

Login