Herbrand strategies and the “greater deducibility” relation
S. Yu. Maslov, S. A. NorgelaVolume:
15
Language:
english
Pages:
6
Journal:
Journal of Mathematical Sciences
DOI:
10.1007/bf01404105
Date:
January, 1981
File:
PDF, 630 KB
english, 1981