Search alternatives:
8 modern » 8 models
4 modern » 4 model, 4 models

1
by Gandy, R. O.
Published 1977
North-Holland Pub. Co.
Table of Contents: ... Existentially closed models of basic number theory; PART FOUR RECURSION THEORY; Chapter 16 Inductive schemata...