Merkzettel Warenkorb
Produktbild: Logic: From Foundations to Applications

Logic: From Foundations to Applications European Logic Colloquium

45,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

22.08.1996

Herausgeber

Hodges Wilfrid + weitere

Verlag

Oxford Academic

Seitenzahl

550

Maße (L/B/H)

24,1/16,5/3,5 cm

Gewicht

931 g

Sprache

Englisch

ISBN

978-0-19-853862-2

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

22.08.1996

Herausgeber

Verlag

Oxford Academic

Seitenzahl

550

Maße (L/B/H)

24,1/16,5/3,5 cm

Gewicht

931 g

Sprache

Englisch

ISBN

978-0-19-853862-2

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: GPSR Kontakt

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)

Weitere Artikel findest du in
  • Produktbild: Logic: From Foundations to Applications

    • 1: The method of hypersequents in the proof theory of propositional non-classical logic

    • 2: Church-Rosser lambda theories, infinite lambda-terms and consistency problems

    • 3: Baire category for monotone sets

    • 4: Equality in substructural logics

    • 5: Substructural predicates

    • 6: Critical points in an algebra of elementary embeddings II

    • 7: O-minimality nd tame topology

    • 8: Embeddings of Heyting algebras

    • 9: Embedding normal forms

    • 10: Analysing proofs in analysis

    • 11: Subalgebras of Cohen Algebras need not be Cohen

    • 12: Independence structures in set theory

    • 13: Recovering the action of an automorphism group

    • 14: On the logical strength of Nash-Williams' theorem on transfinite sequences

    • 15: Open questions around Büchi and Presburger arithmetics

    • 16: A growth dichotomy for O-minimal expansions of ordered fields

    • 17: Lukasiewicz normal forms and toric desingularizations

    • 18: Fine hierarchy and definability in the Lindenbaum algebra

    • 19: From logic problems to inductive definitions

    • 20: Hyperstable theories

    • 21: Quasi-Riemann Surfaces