IF first-order logic and truth-definitions (1997)

by G Sandu
Venue:Journal of Philosophical Logic