scientific article; zbMATH DE number 3263223

MaRDI QIDQ5549029zbMATH OpenFDO

Authors A. S. Troelstra

Publication date 1968

Full work available at URL http://www.numdam.org/item?id=CM_1968__20__211_0, https://eudml.org/doc/88980

zbMATH Keywords

general logic

Cites work

• scientific article; zbMATH DE number 3287714 (Why is no real title available?)
• scientific article; zbMATH DE number 3024120 (Why is no real title available?)
• scientific article; zbMATH DE number 3098483 (Why is no real title available?)
• Intuitionism. An introduction

Cited in

(1)

• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I

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