Search alternatives:
8.4 modern » 8.4 models, 14 modern, 8.4 model
5.4 models » 2.4 models, 14 models
24 modern » 14 modern, 24 model

1
by Gandy, R. O.
Published 1977
North-Holland Pub. Co.
Table of Contents: ... Hyperfinite model theory; Chapter 3 On the kind of data needed for a theory of proofs; Chapter 4...