file.pdf (1.06 MB)

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

journal contribution

posted on 1969-01-01, 00:00 authored by Mariko Yasugi

Mathematics Technical Report

History

Publisher Statement

All Rights Reserved

Date

1969-01-01

Usage metrics

Categories

Mathematical Sciences not elsewhere classified

Keywords

Elimination.Arithmetic.Logic Symbolic and mathematical.

Licence

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC