Search alternatives:
peano » piano

1
Published 1981
Springer Berlin Heidelberg
Table of Contents: ...-MacQueen theorem -- Recursively saturated, rather classless models of peano arithmetic -- The degrees...