• Produktbild: Mathematical Problems from Applied Logic II
  • Produktbild: Mathematical Problems from Applied Logic II
Band 5 - 12%

Mathematical Problems from Applied Logic II Logics for the XXIst Century

12% sparen

95,99 € UVP 109,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

02.04.2007

Herausgeber

Dov Gabbay + weitere

Verlag

Springer Us

Seitenzahl

354

Maße (L/B/H)

24,6/16,2/2,2 cm

Gewicht

656 g

Auflage

2007 edition

Sprache

Englisch

ISBN

978-0-387-69244-9

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

02.04.2007

Herausgeber

Verlag

Springer Us

Seitenzahl

354

Maße (L/B/H)

24,6/16,2/2,2 cm

Gewicht

656 g

Auflage

2007 edition

Sprache

Englisch

ISBN

978-0-387-69244-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: Mathematical Problems from Applied Logic II
  • Produktbild: Mathematical Problems from Applied Logic II
  • On Two Models of Provability: Provability Logic, Logic of Proofs.- Directions for Computability Theory Beyond Pure Mathematical: Motivations, Directions, Progress So Far And How One Might Go From Here.- Computability and Computable Models: Preliminaries, Bounds for Computable Models, Structure Complexity of Computable Models, Isomorphism Problem, Classes of Computable Models and Index Sets.- First-order Logic Foundation of Relativity Theories: Introduction (Logic and Spacetime Geometry), More Concrete Introduction (Foundation of Spacetime), Intriguing Features of GR Spacetimes (Challenges for the Logician), A FOL Axiom System of SR Extended with Accelerated Observers, One Step toward GR (Effect of Gravitation on Clocks), Questions, Suggestions for Future Research.- Beyond Hybrid Systems: Digital Programs, Continuous Plants and Controllers, Hybrid Systems, Discretization, Continualization, Methodology.- Region-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics: Historical Excursion in the Region-Based Theory of Space, Algebras of Regions, Models, and Representation Theory, Region-Based Propositional Modal Logics of Space.