scientific article; zbMATH DE number 3316881
From MaRDI portal
Publication:5596743
Cited in
(7)- A remark on collective quantification
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
- Jean van Heijenoort's contributions to proof theory and its history
- scientific article; zbMATH DE number 6371948 (Why is no real title available?)
- scientific article; zbMATH DE number 2039298 (Why is no real title available?)
- Simple tableaus for simple intuitionistic logics
- Finite and physical modalities
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 Q5596743)