-
RecordNumber
221
-
CallNo
221A
-
Author
Ulrich Kohlenbach
-
Title of Article
Herbrand's theorem and extractive proof theory
-
Title Of Periodical
gazette des mathematiciens
-
PublishInfo
:SMF (societe mathematique de France) ،2008
-
Month
Octobre
-
SerialNumber
118
-
Page
29-41
-
Link To Document :
