No Cover Image

Journal article 410 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

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: College of Science
Start Page: 241
End Page: 255