Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sequents and Trees

Name: Sequents and Trees
Brand: Springer Nature Switzerland AG
SKU: 33471443
Price: 57.69 EUR
Availability: InStock
Author: Andrzej Indrzejczak
ISBN: 9783030571443

Andrzej Indrzejczak

Sprache

Englisch

Buch Hardcover

Libristo-Code: 33471443

Verlag Springer Nature Switzerland AG, Dezember 2020

This textbook offers a detailed introduction to the methodology and applications of sequent calculi... Vollständige Beschreibung

Libristo-Code: 33471443

141 b

57.69 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Jannik Sinner. Il talento che sta cambiando la storia del tennis Riccardo Crivelli

Broschur

16.89 €

História de Portugal De Oliveira Martins

Broschur

14.99 €

Die Westeurop ische Sozialdemokratie in Der Regierung Karsten Grabow

Broschur

64.99 €

Mao & autres scènes anormales du quotidien T01 Benoi Buch

Broschur

17.49 €

Sur les pas de la Miséricorde Divine avec Marie Dumont Buch

Broschur

10.89 €

Flori'cartes JÉROME

Broschur

7.79 €

Unité et division de l'Afrique du Sud Cumin

Broschur

13.89 €

Beitrage Zum Alten Nurnberger Kriminalrecht (1895) Hermann Knapp

Broschur

22.99 €

Ioannes und die Geister Arthur Quiller-Couch

Hardcover

25.90 €

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus.After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics.Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Sequents and Trees

Autor Andrzej Indrzejczak

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2020

Anzahl der Seiten 345

EAN 9783030571443

ISBN 3030571440

Libristo-Code 33471443

Verlag Springer Nature Switzerland AG

Gewicht 682

Abmessungen 242 x 161 x 29

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

Mathematik und Naturwissenschaften > Mathematik > Philosophie der Mathematik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert