×

Found 3 Documents (Results 1–3)

A proof-theoretic analysis of theories for stratified inductive definitions. (English) Zbl 1380.03071

Kahle, Reinhard (ed.) et al., Gentzen’s centenary. The quest for consistency. Cham: Springer (ISBN 978-3-319-10102-6/pbk; 978-3-319-10103-3/ebook). 425-454 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Main Field