Completeness, Invariance and *-definability (1982)

by R Statman
Venue:Journal of Symbolic Logic