A logical system based on rules and its application in teaching mathematical logic Ludwik BorkowskiJerzy Słupecki OriginalPaper Pages: 71 - 113
On the first-order functional calculus and the truncation of models Juliusz Reichbach OriginalPaper Pages: 181 - 220
On the relation of statistical inference to traditional induction and deduction OriginalPaper Pages: 243 - 264