Michael Detlefsen (ed.), Proof, Logic and Formalization. Michael Detlefsen (ed.), Proof and Knowledge in Mathematics

✍ Scribed by Luiz Carlos Pereira

• Book ID: 110223036
• Publisher: Springer
• Year: 1997
• Tongue: English
• Weight: 57 KB
• Volume: 47
• Category: Article
• ISSN: 1876-2514
• DOI: 10.1023/a:1005354429881