scientific article; zbMATH DE number 3717304

zbMATH Open0458.03014MaRDI QIDQ3907553FDOQ3907553

Authors: Zvonimir Šikić 

Publication date: 1980

Title of this publication is not available (Why is that?)

zbMATH Keywords

proof theory

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3907553)