scientific article; zbMATH DE number 3775516
From MaRDI portal
Publication:3955348
zbMATH Open0493.03027MaRDI QIDQ3955348FDOQ3955348
Authors: Michal Resl, Antonín Sochor 
Publication date: 1981
Full work available at URL: https://eudml.org/doc/17139
Title of this publication is not available (Why is that?)
Nonclassical and second-order set theories (03E70) Proof theory and constructive mathematics (03F99)
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 Q3955348)
