scientific article; zbMATH DE number 3257389

MaRDI QIDQ5545505zbMATH OpenFDO

Authors C. J. Maslov

Publication date 1967

Full work available at URL https://eudml.org/doc/66381

zbMATH Keywords

mathematical logic

Cited in

(1)

• Proof analysis in intermediate logics

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 Q5545505)