Journal article 1186 views
Kruskal's tree theorem in a constructive theory of inductive definitions
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
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 |