Home Advanced Search
Advanced Search - Page 1
Hilbert's program: An essay on mathematical instrumentalism
- DJVU
- English
- Year: 1986
- Author: Detlefsen M. ;Davidson, Donald; Hintikka, Jaakko; Nuchelmans, Gabriál
Proof methods for modal and intuitionistic logics
- DJVU
- English
- Year: 1983
- Author: Fitting M. ;Davidson, Donald; Hintikka, Jaakko; Nuchelmans, Gabriël