Persistence and Herbrand Expansions

Autor: Wholey, Joseph S.
Zdroj: The Journal of Symbolic Logic, 1963 Dec 01. 28(4), 280-282.
Databáze: JSTOR Journals