Á lódáil...

Applied proof theory proof interpretations and their use in mathematics

Sonraí Bibleagrafaíochta
Príomhúdar: Kohlenbach. U.
Formáid: Printed Book
Teanga:English
Foilsithe: Heidelberg Springer 2008
Ábhair:

Míreanna Comhchosúla