Search alternatives:
peano » piano
Cover Image
Read Now

1
by Smith, Peter
Published 2007
Cambridge University Press
Table of Contents: “...: taking stock -- Two formalized arithmetics -- What q can prove -- First-order peano arithmetic...”