%0
Generic
%T
Herbrand's theorem as higher order recursion
%A Afshari, Bahareh
%A Hetzl, Stefan
%A Leigh, Graham E.
%I Mathematisches Forschungsinstitut
%D 2018
%C Mathematisches Forschungsinstitut
%C Oberwolfach-Walke
%U http://slubdd.de/katalog?TN_libero_mab2