9781870787994: Abstract Logic