Sur quelques points de la logique de M. Brouwer.
From MaRDI portal
Publication:1834549
zbMATH Open55.0030.05MaRDI QIDQ1834549FDOQ1834549
Publication date: 1929
Published in: Bulletin de la Classe des Sciences. 5e Série (Search for Journal in Brave)
Cited In (4)
- A topological duality for tense modal pseudocomplemented De Morgan algebras
- Dual tableau-based decision procedures for fragments of the logic of binary relations
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
- A general Glivenko-Gödel theorem for nuclei
This page was built for publication: Sur quelques points de la logique de M. Brouwer.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1834549)
