Completeness and Herbrand Theorems for Nominal Logic

Autor: Cheney, James
Zdroj: The Journal of Symbolic Logic, 2006 Mar 01. 71(1), 299-320.
Databáze: JSTOR Journals