A note on my paper A very strong intuitionistic theory

DOI10.1007/BF02176168zbMATH Open0416.03052MaRDI QIDQ754200FDOQ754200

Authors: Sergio Bernini 

Publication date: 1978

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

interpretabilitychoice functionalsintuitionistic formal systems

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cites Work

• A very strong intuitionistic theory

Cited In (1)

• A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS

This page was built for publication: A note on my paper A very strong intuitionistic theory

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