Herbrand's theorem as higher order recursion

From MaRDI portal
Publication:1987218

DOI10.1016/j.apal.2020.102792zbMath1464.03085OpenAlexW2800852260MaRDI QIDQ1987218

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh

Publication date: 14 April 2020

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2020.102792




Related Items



Cites Work