Please use this identifier to cite or link to this item:
Title: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Authors: Ulrich Kohlenbach
Keywords: Mathematics;Statistics
Issue Date: 2008
Publisher: Springer
Description: 539 p.
Appears in Collections:500 - Khoa học tự nhiên

Files in This Item:

  • File : 243.pdf
  • Description : 
  • Size : 6.13 MB
  • Format : Adobe PDF

  • Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.