Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 10.06.2026 / Gültig für gebrauchte Bücher / Mindestbestellwert 20,00 € / Einzelne Artikel können ausgeschlossen sein / Online auf www.bücher.de.de / Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen / Nur einmal pro Einkauf einlösbar / Gutschein wird auf max. 500€ Bestellwert angerechnet / Keine Barauszahlung / Nicht gültig für Versandkosten und Services
  • Produktbild: Labelled Non-Classical Logics
  • Produktbild: Labelled Non-Classical Logics
- 13%

Labelled Non-Classical Logics

13% sparen

138,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2010

Verlag

Springer Us

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

470 g

Auflage

Softcover reprint of the original 1st ed. 2000

Sprache

Englisch

ISBN

978-1-4419-4962-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2010

Verlag

Springer Us

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

470 g

Auflage

Softcover reprint of the original 1st ed. 2000

Sprache

Englisch

ISBN

978-1-4419-4962-2

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

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: Labelled Non-Classical Logics
  • Produktbild: Labelled Non-Classical Logics
  • List of Figures. List of Tables. Acknowledgments. 1. Introduction. Part I: Labelled deduction for non-classical logics. 2. Labelled Natural Deduction Systems for Propositional Modal Logics. 3. Labelled Natural Deduction Systems for Propositional Non-Classical Logics. 4. Labelled Natural Deduction Systems for Quantified Modal Logics. 5. Encoding Labelled Non-Classical Logics in Isabelle. 6. Labelled Sequent Systems for Non-Classical Logics. 7. Discussion. Part II: Substructural and complexity analysis of modal sequent systems. 8. Introduction and Preliminaries. 9. Substructural Analysis of S(K). 10. Substructural Analysis of S(T). 11. Substructural Analysis of S(K4) and S(S4). 12. Complexity of Proof Search in K, T, K4 and S4. 13. Discussion. 14. Conclusions and Further Research. References. Index.