Cover Image
Read Now

1
by van Dalen, Dirk
Published 2004
Springer Berlin Heidelberg
“... of Peano's arithmetic is based on the natural deduction system...”