Produktbild
Dov M. Gabbay

Labelled Deductive Systems: Volume 1

Buch

This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.

CHF 149.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


  • ISBN: 978-0-19-853833-2
  • EAN: 9780198538332
  • Produktnummer: 22686628
  • Verlag: OXFORD UNIV PR
  • Sprache: Englisch
  • Erscheinungsjahr: 1996
  • Seitenangabe: 512 S.
  • Masse: H23.4 cm x B15.6 cm x D2.9 cm 889 g
  • Auflage: New
  • Reihenbandnummer: 33
  • Gewicht: 889

100 weitere Werke von Dov M. Gabbay:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.