The Functional Interpretation of Logical Deduction

Sprache: Englisch

Verlag: World Scientific Publishing Company, 2011

9814360953 / 9789814360951

  • Hardcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Buchpark, Trebbin, DeutschlandBuchpark

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 30. September 2021

Artikel dieses Verkäufers ansehen
Hardcover

Zustand: Gebraucht - Sehr gut

EUR 66,23

EUR 105,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Zustand: Sehr gut | Seiten: 300 | Sprache: Englisch | Produktart: Bücher | This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing of 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.

Bestandsnummer des Verkäufers 10858424/2

Titel
The Functional Interpretation of Logical Deduction
Autor
Ruy J. G. B. De Queiroz, Anjolina G. De Oliveira, Dov M. Gabbay
Verlag
World Scientific Publishing Company
Veröffentlichungsjahr
2011
Zustand
Sehr gut
Einband
Hardcover
Sprache
Englisch
ISBN-10
9814360953
ISBN-13
9789814360951
Verkäuferkataloge
Bücher

Buchpark

Trebbin, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 30. September 2021

Versandkosten von Deutschland nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 105,00EUR 130,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Vorauskasse

Shop-Beschreibung

Seit über 30 Jahren handeln wir mit Büchern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter Bücher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen Bücher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderbücher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten Büchern oder Haushaltsauflösungen kaufen wir bundesweit komplette Bibliotheken und Buchbestände von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die Möglichkeit, große Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbestände werden von uns professionell auf Qualitätsmerkmale hin untersucht und sorgfältig für den Onlinehandel aufbereitet. Wir schenken Büchern ein zweites Leben.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Buchpark GmbH

Krügerweg 1
Trebbin, Deutschland 14959