scientific article; zbMATH DE number 3328132

zbMATH Open0206.27402MaRDI QIDQ5606565FDOQ5606565

Authors: Bruno Scarpellini 

Publication date: 1970

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

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Intuitionistic mathematics (03F55)

Cited In (1)

• Choice and independence of premise rules in intuitionistic set theory

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