TY -
GEN
AU - Afshari, Bahareh
AU - Hetzl, Stefan
AU - Leigh, Graham E.
TI -
Herbrand's theorem as higher order recursion
PB - Mathematisches Forschungsinstitut
PY - 2018
BT - Oberwolfach preprints ; 2018,01
CY - Oberwolfach-Walke
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -