Implications in Boolean algebras with a two-valued closure operator Stanisŀaw Waligórski OriginalPaper Pages: 25 - 33
O implikacjach w algebrach Boole'a z dwuwartościowym operatorem domknięcia Stanisŀaw Waligórski Report Pages: 34 - 34
Об инпликациях в булевых алгебрах с двухзначным оператором замыкания Станислав Валигурски Report Pages: 34 - 34
A note on deduction theorem for Gödel's propositional calculus G4 Ewa Żarnecka-Biaŀy OriginalPaper Pages: 35 - 40
Заме↦ка по поводу теоремы о дедукции для исчисления предложений геделяG4 З. жарнецка-Гиалы Report Pages: 41 - 41
Some remarks on the concept of completeness of the propositional calculus. I W. A. Pogorzelski Report Pages: 55 - 58
Kryterium definiowalności funkcji w matrycach ŀukasiewicza Tadeusz Prucnal OriginalPaper Pages: 71 - 76
A definability criterion for the functions in Łukasiewicz's matrices T. Prucnal Report Pages: 77 - 77
Problematyka logiki tradycyjnej w pracach Adama Wiegnera Tadeusz Batóg OriginalPaper Pages: 143 - 146
Kształcenie sprawności logicznej młodzieży szkolnej Jerzy Słupecki Z Zagadnień Dydaktyki Logiki Pages: 149 - 155
Les deux tétraèdres des liaisons logiques interpropositionnelles bivalentes Jean-Louis Gardies OriginalPaper Pages: 157 - 161
Uwagi o Pracy J.-L. gardies “Les deux tétraèdres des liaisons logiques interpropositionnelles bivalentes” August Pieczkowski BriefCommunication Pages: 163 - 164