Constructive Models
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | March 31, 2000 |
| Authors | S. S. Goncharov |
| Yury Yershov | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3103807 |
About Constructive Models
The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. . . .