2 หนังสืออิเล็กทรอนิกส์โดย R. Sliwinski
Ghita Holmstrom-Hintikka & Sten Lindstrom: Collected Papers of Stig Kanger with Essays on his Life and Work
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger’s dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the fir …
PDF
อังกฤษ
DRM
€115.37
