Modelle und Berechenbarkeit von Logikkolloquium (Englisch) Taschenbuch
125,97 €
Continuous functionals of dependent and transfinite types U. Berger; 2. Clockwork or Turing universe?. A techniques-oriented survey of bounded queries W. Gasarch and F. Stephan; 6. Effective model theory: the number of models and their complexity B. Khoussainov and R. A. Shore; 9.
Jetzt bei Ebay:
