Logic, Language and ComputationLawrence Cavedon, Patrick Blackburn, Nick Braisby, Atsushi Shimojima · First published 2000Open the Tome