Automath, a Language for Mathematics
Download or Read eBook Automath, a Language for Mathematics PDF written by Nicolaas Govert de Bruijn and published by . This book was released on 1973 with total page 0 pages. Available in PDF, EPUB and Kindle.
| Author | : Nicolaas Govert de Bruijn |
| Publisher | : |
| Total Pages | : 0 |
| Release | : 1973 |
| ISBN-10 | : 2760602230 |
| ISBN-13 | : 9782760602236 |
| Rating | : 4/5 (30 Downloads) |
Book Synopsis Automath, a Language for Mathematics by : Nicolaas Govert de Bruijn
Book excerpt:
