|
|||||
|
|
Logic for Mathematical Writing |
|
| Authors: | Harriss Edmund; Hodges Wilfrid |
| Institution: | Department of Mathematics, Imperial College London, London SW7 2AZ, UK. E-mail: edmund.harriss{at}mathematicians.org.uk |
| Abstract: | |
| Keywords: | writing mathematical exposition logic informal logic definition discharging assumptions natural deduction Pascal |
| 本文献已被 Oxford 等数据库收录！ | |