A theory of explicit mathematics equivalent to ${ \mathsf{ID} }_1$

TitleA theory of explicit mathematics equivalent to ${ \mathsf{ID} }_1$
Publication TypeConference Paper
Year of Publication2000
AuthorsKahle, R, Studer, T
EditorClote, P, Schwichtenberg, H
Conference NameProceedings of Computer Science Logic
Pagination356-370
PublisherSpringer
URLhttp://www.iam.unibe.ch/ltgpub/2000/ks00.pdf