Search alternatives:
6.4 models » 2.4 models, 5.4 models, 1.4 models
24 modern » 4 modern, 14 modern, 8.4 modern
6.4 model » 3.4 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...