Tallenna
Constructive Models
Kirjailija:
nidottu, 2012
englanti
They haveestablished fundamental results on elementary theories, model theory, the theory of algorithms, field theory, group theory, applied logic, computable numberings, the theory of constructive models, and the theoretical computer science.
- Kirjailija
- Yuri L. Ershov, Yuri L. Ershov
- Painos
- Softcover reprint of the original 1st ed. 2000
- ISBN
- 9781461369325
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.9.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 293
