Независимость одной системы аксиом и правила вывода пропозиционального исчисления Н. Георгиева OriginalPaper Pages: 65 - 69
Independence of one system of axioms and rules of inference for the propositional calculas N. Georgiewa Report Pages: 70 - 70
Логистическая система, исходными связками которой являются эквивалентность и дизъюнкция Н. Георгиева OriginalPaper Pages: 71 - 75
A logical system which has ≡ and 76-176-176-1as primitive connectives N. Georgiewa Report Pages: 76 - 76
Semantics for the sentential calculus with identity Stephen L. BloomRoman Suszko OriginalPaper Pages: 77 - 81
Inessential parts of extensions of first-order theories Marian PrzełęckiRyszard Wójcicki OriginalPaper Pages: 83 - 95
Nieistotne fragmenty rozszerzeń teorii pierwszego rzędu M. PrzełęckiR. Wójcicki Report Pages: 96 - 97
Несущественные Фрагменты расширений теорий первого порядка М. ПжеленцкиР. Вуйцицки Report Pages: 98 - 99
The problem of reconstructability of propositional calculi Marek TokarzRyszard Wójcicki OriginalPaper Pages: 119 - 127