Tradycyjna teoria wnioskowania bezpośredniego jako pewien fragment dwuwartościowego rachunku zdań Stanisław Kamiński OriginalPaper Pages: 7 - 18
Традиционная теория непосредственного умозаключения как фрагмент двухзначного исчисления предложений С. Каминский Report Pages: 19 - 20
Traditional theory of immediate inference as a fragment of two-valued propositional calculus S. Kamiński Report Pages: 21 - 21
Aksjomatyczne badania pojęcia przedłużenia czasowego Andrzej Grzegorczyk OriginalPaper Pages: 23 - 30
Le traitement axiomatique de la notion de prolongement temporel Andrzej Grzegorczyk OriginalPaper Pages: 31 - 34
Dydaktyczne ujęcie zerojedynkowej metody sprawdzania wyrażeń węższego jednoargumentowego rachunku predykatów Ludwik Borkowski OriginalPaper Pages: 57 - 74
Дидактическая трактовка нулево-единичного метода проверки выражений узкого исчисления предикатов с одним аргументом Л. Борковский Report Pages: 75 - 75
A didactical approach to the zero-one decision procedure of the expressions of the first order monadic predicate calculus L. Borkowski Report Pages: 76 - 76
Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations Roman Suszko OriginalPaper Pages: 185 - 214
O metodzie schematów logicznych i jej zastosowaniu do rachunków logicznych i W teorii konsekwencji R. Suszko Report Pages: 215 - 215
О методе логических схем и о его применении к логическим исчислениям и в теории консеквенции Р. Сушко Report Pages: 216 - 216
ОБ одном спосоБе оБзора Функций истинностиn-значного исчисления высказываний А. А. Зиновьев OriginalPaper Pages: 217 - 220
O pewnej metodzie opisu funkcji prawdziwościowychn-wartościowego rachunku zdań A. A. Zinowiew Report Pages: 221 - 221
A method of describing the truth-functions of then-valued propositional calculus A. A. Zinovjev Report Pages: 222 - 222
Artykuły o treści logicznej zawarte w czasopismach nadesłanych do redakcji Jerzy PelcLeon KojStanislaw Kamiński --|Przegląd czasopism Pages: 241 - 262
