A Completeness Theorem for Unrestricted First-Order Languages (2003)

by A Rayo, T Wiliamson
Venue:Liars and Heaps