Creative subject, Beth models and neighbourhood functions
From MaRDI portal
(Redirected from Publication:1908820)
Recommendations
Cites work
- scientific article; zbMATH DE number 3552491 (Why is no real title available?)
- scientific article; zbMATH DE number 3557754 (Why is no real title available?)
- scientific article; zbMATH DE number 1028819 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3298807 (Why is no real title available?)
- scientific article; zbMATH DE number 3320364 (Why is no real title available?)
- scientific article; zbMATH DE number 3325544 (Why is no real title available?)
- scientific article; zbMATH DE number 3057415 (Why is no real title available?)
- scientific article; zbMATH DE number 3089103 (Why is no real title available?)
- scientific article; zbMATH DE number 3089104 (Why is no real title available?)
- A new version of Beth semantics for intuitionistic logic
- An interpretation of intuitionistic analysis
- Another intuitionistic completeness proof
- Constructivism in mathematics. An introduction. Volume II
- Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
- Semantical investigations in Heyting's intuitionistic logic
Cited in
(3)
This page was built for publication: Creative subject, Beth models and neighbourhood functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1908820)