Systems of Formal Logic

Sprache: Englisch

Verlag: Springer, 1966

902770077X / 9789027700773

  • 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 - Gut

EUR 59,49

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: Gut | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | The present work constitutes an effort to approach the subject of symbol­ ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela­ tions, their differences. In pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber­ nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega­ tion. This system serves as a basis upon which a variety of further sys­ tems are constructed, including, among others, a full classical proposi­ tional calculus, an intuitionistic system, a minimum propositional calcu­ lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege's propositional calculus, being shown to be non-independent. Equivalence and non-equivalence of systems are discussed in the same context. The deduction theorem is proved in Chapter 3 for all the axiomatic propositional calculi in the book.

Bestandsnummer des Verkäufers 2417492/203

Titel
Systems of Formal Logic
Autor
Hackstaff, L H
Verlag
Springer
Veröffentlichungsjahr
1966
Zustand
Gut
Einband
Hardcover
Sprache
Englisch
ISBN-10
902770077X
ISBN-13
9789027700773
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