Search alternatives:
peano » piano

1
by Lassaigne, Richard, Rougemont, Michel de
Published 2004
Springer London
Table of Contents: ... and decidability -- 7. Incompleteness of Peano arithmetic -- 2. Descriptive Complexity -- 8 Complexity: time...