• Produktbild: Logic Colloquium 2005
  • Produktbild: Logic Colloquium 2005

Logic Colloquium 2005

162,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

21.09.2016

Herausgeber

Costas Dimitracopoulos + weitere

Verlag

Cambridge Academic

Seitenzahl

290

Maße (L/B/H)

23,5/15,7/2 cm

Gewicht

506 g

Sprache

Englisch

ISBN

978-0-521-88425-9

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

21.09.2016

Herausgeber

Verlag

Cambridge Academic

Seitenzahl

290

Maße (L/B/H)

23,5/15,7/2 cm

Gewicht

506 g

Sprache

Englisch

ISBN

978-0-521-88425-9

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: [email protected]

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Logic Colloquium 2005
  • Produktbild: Logic Colloquium 2005
  • 1. Thread algebra and risk assessment services Jan A. Bergstra, Inge Bethke and Alban Ponse; 2. Covering definable manifolds by open definable subsets Mário J. Edmundo; 3. Isomorphisms and definable relations on computable models Sergei S. Goncharov; 4. Independence for types in algebraically closed valued fields Deirdre Haskell; 5. Simple groups of finite Morley rank Eric Jaligot; 6. Towards a logic of type-free modality and truth Hannes Leitgeb; 7. Structural analysis of Aronszajn trees Justin Tatch Moore; 8. Proof analysis in non-classical logics Sara Negri; 9. Paul Bernays' later philosophy of mathematics Charles Parsons; 10. Proofnets for S5: sequents and circuits for modal logic Greg Restall; 11. Recursion on the partial continuous functionals Helmut Schwichtenberg; 12. A transactional approach to the logic of truth Michael Sheard; 13. On some problems in computable topology Dieter Spreen; 14. Monotone inductive definitions and consistency of New Foundations Sergei Tupailo.