Journal article 1711 views
Kruskal's tree theorem in a constructive theory of inductive definitions
Monika Seisenberger 
Synthese Library, Volume: 306, Pages: 241 - 255
Swansea University Author:
Monika Seisenberger
Abstract
Kruskal's tree theorem in a constructive theory of inductive definitions
| Published in: | Synthese Library |
|---|---|
| Published: |
2001
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa16457 |
| Item Description: |
Book title: Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
241 |
| End Page: |
255 |