Proof Theory and Constructive Mathematics
| Authors | |
|---|---|
| Publication date | 2005 |
| Book title | Mathematics: History,Concepts, and Foundations, from /Encyclopedia of Life Support Systems (EOLSS) |
| Publisher | Oxford ,UK: Eolss Publishers |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |