Wyniki
-
Powstanie i ewolucja dedukcji naturalnej
Andrzej Indrzejczak
Filozofia Nauki , 22 /2 (2014) s. 5-19 -
Powstanie i ewolucja rachunków sekwentowych
Andrzej Indrzejczak
Filozofia Nauki , 22 /4 (2014) s. 53-70
Andrzej Indrzejczak
Filozofia Nauki
, 22
/2
(2014)
s. 5-19
Andrzej Indrzejczak
Filozofia Nauki
, 22
/4
(2014)
s. 53-70