scientific article; zbMATH DE number 3054619

zbMath0036.00804MaRDI QIDQ5793835

Frederic B. Fitch

Publication date: 1948

Full work available at URL: https://eudml.org/doc/114664

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items

Globalization of intuitionistic set theory, Mathematical modal logic: A view of its evolution, Fibrational modal type theory, The \(\omega{}\)-rule, On some intuitionistic modal logics, Constructive modal logics. I, Cut-free Gentzen calculus for multimodal CK, A uniform tableau method for intuitionistic modal logics. I