The systems of Leśniewski in relation to contemporary logical research
- 1 December 1955
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 3 (1) , 77-95
- https://doi.org/10.1007/bf02067248
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The calculus of individuals and its usesThe Journal of Symbolic Logic, 1940
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940
- Zur Grundlegung der Boole'schen Algebra. IFundamenta Mathematicae, 1935
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931
- Mathematical Logic as Based on the Theory of TypesAmerican Journal of Mathematics, 1908
- Untersuchungen ber die Grundlagen der Mengenlehre. IMathematische Annalen, 1908