The Work Natural deduction :the logical basis of axiom systems The details The Author John Mueller Anderson The offers View paperback on Amazon View hardback on Amazon