No Cover Image

Journal article 918 views

Kruskal's tree theorem in a constructive theory of inductive definitions

Monika Seisenberger Orcid Logo

Synthese Library, Volume: 306, Pages: 241 - 255

Swansea University Author: Monika Seisenberger Orcid Logo

Published in: Synthese Library
Published: 2001
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