On existential theorems in non-classical functional calculi

DOI10.4064/fm-41-1-21-28zbMath0056.01103OpenAlexW827140402MaRDI QIDQ5827958

Roman Sikorski, Helena Rasiowa

Publication date: 1954

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items (4)

Leon Henkin the Reviewer ⋮ On the Mints Hierarchy in First-Order Intuitionistic Logic ⋮ On the concept of categoricity ⋮ On disjunctions and existential statements in intuitionistic systems of logic

This page was built for publication: On existential theorems in non-classical functional calculi