Gå direkte til innholdet
Constructive Models
Spar

Constructive Models

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.
Opplag
2000 ed.
ISBN
9780306110665
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
31.3.2000
Antall sider
293