The truth is never simple (1986)

by J P Burgess
Venue:Journal of Symbolic Logic