A note on my paper A very strong intuitionistic theory

From MaRDI portal

Publication:754200

Jump to:navigation, search

DOI10.1007/BF02176168zbMath0416.03052MaRDI QIDQ754200

Sergio Bernini

Publication date: 1978

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

zbMATH Keywords

interpretability choice functionals intuitionistic formal systems

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (1)

A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS

Cites Work

A very strong intuitionistic theory

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:754200&oldid=12684134"