A science of reasoning (1991)

by A Bundy
Venue:Computational Logic: Essays in Honor of Alan Robinson