Produktbild
Valeria (Hrsg.) De Paiva

Advances in Natural Deduction

A Celebration of Dag Prawitz's Work

Buch

This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his  seminal  research. Dag Prawitz's work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and  Theoretical Computer Science.The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the app… Mehr

CHF 165.00

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

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Haeusler, Edward (Hrsg.) / Pereira, Luiz Carlos (Hrsg.)
  • ISBN: 978-94-024-0687-0
  • EAN: 9789402406870
  • Produktnummer: 20615757
  • Verlag: Springer Netherlands
  • Sprache: Englisch
  • Erscheinungsjahr: 2016
  • Seitenangabe: 296 S.
  • Masse: H23.5 cm x B15.5 cm x D1.6 cm 452 g
  • Auflage: Softcover reprint of the original 1st ed. 2014
  • Abbildungen: Paperback
  • Gewicht: 452

6 weitere Werke von Valeria (Hrsg.) De Paiva:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.