Principles of Intuitionism
| Autor: | Troelstra, Anne S. |
|---|---|
| ISBN: | 9783540046141 |
| Sprache: | Englisch |
| Seitenzahl: | 116 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 01.01.1969 |
| Untertitel: | Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY |
| Schlagworte: | Arithmetic Intuitionism Intuitionistische Mathematik Proof theory Topology mathematics ordinal proof theorem well-ordering principle |