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 |
Externí odkaz: |
Autor: | Cheney, James |
---|---|
Zdroj: | The Journal of Symbolic Logic, 2006 Mar 01. 71(1), 299-320. |
Databáze: | JSTOR Journals |
Externí odkaz: |