Tallenna
Constructive Models
Kirjailija:
sidottu, 2000
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
- 2000 ed.
- ISBN
- 9780306110665
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 31.3.2000
- Kustantaja
- Kluwer Academic/Plenum Publishers
- Sivumäärä
- 293
