Weak theories of truth and explicit mathematics

TitleWeak theories of truth and explicit mathematics
Publication TypeConference Paper
Year of Publication2012
AuthorsEberhard, S, Strahm, T
EditorBerger, U, Diener, H, Schuster, P, Seisenberger, M
Conference NameLogic, Construction, Computation
Pagination157-184
PublisherOntos Verlag
URLhttp://www.iam.unibe.ch/ltgpub/2012/es12a.pdf