TU Darmstadt / ULB / TUbiblio

Proof interpretations and the computational content of proof in mathematics

Kohlenbach, Ulrich (2007):
Proof interpretations and the computational content of proof in mathematics.
93, In: Bulletin of the European Association for Theoretical Computer Science EATCS, pp. 143-173, [Article]

Item Type: Article
Erschienen: 2007
Creators: Kohlenbach, Ulrich
Title: Proof interpretations and the computational content of proof in mathematics
Language: English
Journal or Publication Title: Bulletin of the European Association for Theoretical Computer Science EATCS
Volume: 93
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:27
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item