Author books / Книги автора Toshiyasu Arai Makoto Kikuchi Satoru Kuroda Mitsuhiro Okada Teruyuki Yorioka » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Toshiyasu Arai Makoto Kikuchi Satoru Kuroda Mitsuhiro Okada Teruyuki Yorioka

book Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised

pdf

Author: Toshiyasu Arai Makoto Kikuchi Satoru Kuroda Mitsuhiro Okada Teruyuki Yorioka
Language: English
Year: 2022

00

12.02.2024

0

0

book Ordinal Analysis with an Introduction to Proof Theory

Ordinal Analysis with an Introduction to Proof Theory

pdf

Author: Toshiyasu Arai
Language: English
Year: 2020

00

07.02.2024

0

0

book Ordinal Analysis

Ordinal Analysis

pdf

Author: Toshiyasu Arai
Language: English

00

05.02.2024

1

0

book Proceedings of The 11th Asian Logic Conference

Proceedings of The 11th Asian Logic Conference

pdf

Author: Toshiyasu Arai Qi Feng Byunghan Kim Guohua Wu Yue Yang (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0