Search alternatives:
peano » piano
Cover Image
Read Now

21
by Dalen, Dirk van
Published 1994
Springer Berlin Heidelberg
“... of Peano's arithmetic is based on the natural deduction system...”
Cover Image
Read Now

22
by Dalen, Dirk van
Published 1983
Springer Berlin Heidelberg
“... of Peano's arithmetic is based on the natural deduction system...”
Cover Image
Read Now

23
by Dalen, Dirk van
Published 1980
Springer Berlin Heidelberg
“... of Peano's arithmetic is based on the natural deduction system...”
Cover Image
Read Now

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

25
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...”
Cover Image
Read Now

26
by Prömel, Hans Jürgen
Published 2013
Springer International Publishing
“... of the incompleteness of Peano arithmetic, provides a digression to discrepancy theory, and examines extensions...”
Cover Image
Read Now

27
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Tutorials and Invited Talks -- A Characterisation of Definable NP Search Problems in Peano...”
Cover Image
Read Now

28
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... -- Proof Theory -- Cyclic Arithmetic is Equivalent to Peano Arithmetic -- Martin-Lof's Inductive...”
Cover Image
Read Now

29
by Velupillai, K. Vela
Published 2011
Edward Elgar Pub. Ltd