Search alternatives:
peano » piano
Cover Image
Read Now

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