References
Recherches sur le système de la logique intuitioniste, Actes du Congrès Int. de Phil. Sc., VI Phil. des math. Actualités scientifiques et ind. 393 (1936).
Der Aussagenkalkül und die Topologie, „Fund. Mathem.” 31 (1938)
Some theorems about the sentential calculi of Lewis and Heyting, „Journ. of Symb. Log.” 13 (1938)
An algebraic characterization of quantifiers, „Fund. Mathem.” 37 (1950)
Algebraic treatment of the functional calculi of Heyting and Lewis, „Fund. Mathem.” 38 (1951)
Algebraic treatment of the satisfiability, „Fund. Mathem.” 40 (1953)
A theorem on Non-Classical Functional Calculi, Bul. de l'Ac. Pol. des Sc. Cl. III, 4 (1956)
Formalization of logic (Cambridge, Mass., 1943)
Proofs of Non-deducibility in Intuitionistic Functional Calculus, „Journ. of Symb. Log.” 13 (1948)
Rights and permissions
About this article
Cite this article
Łuszczewska-Romahnowa, S., Rasiowa, H., Kamiński, S. et al. Recenzje. Stud Logica 8, 319–333 (1958). https://doi.org/10.1007/BF02126766
Issue Date:
DOI: https://doi.org/10.1007/BF02126766