Die formalen Regeln der intuitionistischen Logik. I, II, III.
From MaRDI portal
Publication:1830451
zbMATH Open56.0823.01MaRDI QIDQ1830451FDOQ1830451
Authors: Arend Heyting
Publication date: 1930
Published in: Sitzungsberichte der Preußischen Akademie der Wissenschaften, Physikalisch-Mathematische Klasse (Search for Journal in Brave)
This page was built for publication: Die formalen Regeln der intuitionistischen Logik. I, II, III.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1830451)