Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory
William CraigVolume:
22
Langue:
english
Pages:
17
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2963594
Date:
September, 1957
Fichier:
PDF, 1.91 MB
english, 1957