|
|||||
|
|
Michael Detlefsen (ed.), Proof, Logic and Formalization. Michael Detlefsen (ed.), Proof and Knowledge in Mathematics |
|
| Authors: | Luiz Carlos Pereira |
| Institution: | (1) Department of Philosophy, Catholic University of Rio de Janeiro (PUC-Rio)/UFRJ, Rua Marques de Sao Vicente, 225, Rio de Janeiro, R3 22453-900, Brasil |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |