Applied proof theory proof interpretations and their use in mathematics

other_versions_link
Bibliografske podrobnosti
Glavni avtor: Kohlenbach. U.
Format: Printed Book
Jezik:English
Izdano: Heidelberg Springer 2008
Teme:
Mathematical logic
Proof theory
Search Result 1
Applied proof theory : proof interpretations and their use in mathematics /
od Kohlenbach, U.
Izdano 2008
Printed Book
other_versions_search_link

Podobne knjige/članki