Completeness and Herbrand theorems for nominal logic (0)

by J Cheney
Venue:Journal of Symbolic Logic