Search alternatives:
peano » piano

1
by Fitting, M.
Published 1983
Springer Netherlands
... to the proof theory of Peano arithmetic. Further, we present a similar variety of proof procedures for an even...