Nominal terms and nominal logics: from foundations to meta-mathematics (2013)

by M J Gabbay
Venue:In Handbook of Philosophical Logic