• 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