file.pdf (1.06 MB)
Download file

Cut elimination theorem for the second order arithmetic with the π1 1-comprehension axiom and the ω-rule

Download (1.06 MB)
journal contribution
posted on 01.01.1969, 00:00 by Mariko Yasugi
Mathematics Technical Report

History

Publisher Statement

All Rights Reserved

Date

01/01/1969

Usage metrics

Exports