Vor Ort
Merkzettel Warenkorb
  • Produktbild: Models and Computability
  • Produktbild: Models and Computability

Models and Computability

92,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.06.2010

Herausgeber

Cooper S. Barry + weitere

Verlag

Cambridge Academic

Seitenzahl

430

Maße (L/B/H)

22,9/15,2/2,5 cm

Gewicht

600 g

Sprache

Englisch

ISBN

978-0-521-63550-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.06.2010

Herausgeber

Verlag

Cambridge Academic

Seitenzahl

430

Maße (L/B/H)

22,9/15,2/2,5 cm

Gewicht

600 g

Sprache

Englisch

ISBN

978-0-521-63550-9

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Models and Computability
  • Produktbild: Models and Computability
  • 1. Continuous functionals of dependent and transfinite types U. Berger; 2. Degree-theoretic aspects of computably enumerable reals C. S. Claude, R. Coles, P. H. Hertling and B. Khoussainov; 3. Simplicity and independence for pseudo-algebraically closed fields Z. Chatzidakis; 4. Clockwork or Turing universe? - remarks on causal determinism and computability S. B. Cooper; 5. A techniques-oriented survey of bounded queries W. Gasarch and F. Stephan; 6. Relative categoricity in abelian groups W. A. Hodges; 7. Computability and complexity revisited N. D. Jones; 8. Effective model theory: the number of models and their complexity B. Khoussainov and R. A. Shore; 9. A survey on canonical bases in simple theories B. Kim; 10. True approximations and models of arithmetic J. F. Knight; 11. On the topological stability conjecture L. Newelski; 12. A mahlo-universe of effective domains with totality D. Normann; 13. Logic and decision making D. E. Over; 14. The sheaf of locally definable scalars over a ring M. Y. Prest; 15. Human styles of quantificational reasoning L. J. Rips; 16. Recursion theoretic memories 1954-1978 G. E. Sacks; 17. Fields definable in simple groups K. Tent; 18. A combinatory algebra for sequential functionals of finite type J. Van Oosten; 19. Model theory of analytic and smooth functions A. J. Wilkie.