Journal of the Mathematical Society of Japan
Online ISSN : 1881-1167
Print ISSN : 0025-5645
ISSN-L : 0025-5645
An algebraic formulation of cut-elimination theorem
Satoko TITANI
Author information
JOURNAL FREE ACCESS

1965 Volume 17 Issue 1 Pages 72-83

Details
Download PDF (835K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors

This article cannot obtain the latest cited-by information.

© The Mathematical Society of Japan
Previous article Next article
Favorites & Alerts

Recently viewed articles
Predecessor

Proceedings of the Physico-Mathematical Society of Japan. 3rd Series

Proceedings of the Tokyo Mathematico-Physical Society. 2nd Series

Tokyo Sugaku-Butsurigakukwai Kiji-Gaiyo

Tokyo Sugaku-Butsurigakkwai Hokoku

Tokyo Sugaku-Butsurigaku Kwai Kiji

Tokyo Sugaku-Butsurigaku Kwai Kiji

Tokyo Sugaku Kaisya Zasshi

Share this page
feedback
 Top