Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... assumptions from extra-logical axioms in natural deduction --...”