No Cover Image

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