Deduction by Daniel Bonevac – 9780631227137
ISBN-13: 9780631227137, 978-0631227137. Author(s): Daniel Bonevac. Deduction is an efficient and elegant presentation of classical first-order logic. Efficient and elegant presentation of classical first-order logic.