Completeness and Herbrand Theorems for Nominal Logic (2006)

Cached

Download Links

by James Cheney
Venue:Journal of Symbolic Logic
Citations:25 - 5 self