Zum intuitionistischen Aussagekalkül.
From MaRDI portal
Publication:568066
zbMATH Open58.1001.03MaRDI QIDQ568066
Publication date: 1932
Published in: Akademie der Wissenschaften in Wien, Mathematisch-Naturwissenschaftliche Klasse, Anzeiger (Search for Journal in Brave)
Related Items (4)
On paracomplete versions of Jaśkowski's discussive logic ⋮ Incompleteness of a first-order Gödel logic and some temporal logics of programs ⋮ Fuzzy logic from the logical point of view ⋮ Gödel-Dummett linear temporal logic
This page was built for publication: Zum intuitionistischen Aussagekalkül.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q568066)