Completeness and Herbrand theorems for nominal logic (0)

by James Cheney
Venue:Journal of Symbolic Logic