INDEKS TEMATYCZNY |
|
teoria typów |
|
|
Zbiory i klasy. Studia Philosophiae Christianae, nr 2, 131-150, 1971. Lubański, Mieczysław. "Konstrukcja pewnego języka niesymbolicznego prostej teorii typów" w: Księga pamiątkowa ku czci profesora Tadeusza Kotarbińskiego w osiemdziesiątą rocznicę urodzin. Czeżowski, Tadeusz i in. (red.), 165-174. Warszawa, PWN, 1967. Pasenkiewicz, Kazimierz. Pisma filozoficzne i logiczne. T. 2. Pasenkiewicz, Kazimierz (wybór i wstęp). Warszawa, PWN, 1963. Chwistek, Leon.
|