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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Advances in Proof-Theoretic Semantics

Name: Advances in Proof-Theoretic Semantics
Brand: Springer International Publishing AG
SKU: 09389443
Price: 53.79 EUR
Availability: InStock
Author: Thomas Piecha
ISBN: 9783319226859

Thomas Piecha

Peter Schroeder-Heister

Sprache

Englisch

Buch Hardcover

Libristo-Code: 09389443

Verlag Springer International Publishing AG, Oktober 2015

This volume covers, in the first ever book collection of its kind, the field of proof-theoretic sema... Vollständige Beschreibung

Libristo-Code: 09389443

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Materialitaet(en) Des Kultur- Und Wissenstransfers in Prae- Und Transnationalen Kontexten Michael Gissenwehrer

Hardcover

64.39 €

Batteur d'estrade. Serie 3 DUPLESSIS-P

Broschur

15.09 €

PROTECCION SOCIAL EN ESPAÑA LINARES MARQUEZ DE PRADO

Broschur

12.29 €

Mladiću, možeš to pobijediti Arterburn Stephen Stoeker Fred Yorkey Mike

Broschur

17.69 €

perfekte Dinner - von Austern, Bordeaux und der richtigen Garderobe S. Keup

Broschur

42.95 €

EL PAN MALEVOLO Y OTROS CUENTOS SIDNEY PORTER

Broschur

24.39 €

THREE SONNETS OF JOHN DONNE CHANT DAVID L. BRUNNER Drucksachen

Noten

5.39 €

Biais d''ancrage Dans Les D cisions Judiciaires Béatrice Geyres

Broschur

85.59 €

Mindfulness para l duelo prolongado. Una guía para recuperarse de la pérdida de un ser querido cuando la depresión, la ansiedad y la ira no desaparece SAMEET M. KUMAR

Broschur

24.49 €

Ostdeutsche Frauenbewegung Daniel Schmidt

Broschur

14.99 €

Jenseits Der Grossen Erzahlungen Jan Rohgalf

Broschur

65.29 €

This volume covers, in the first ever book collection of its kind, the field of proof-theoretic semantics. The wide variety of researchers contributing to this volume cover topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning and the defence of model theory.§§Proof-theoretic semantics is a field that has been in existence for almost 50 years but the term itself was proposed by Schroeder-Heister in the 1980s. It explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from talks given at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, whereby contributing authors were asked to provide a self-contained description of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers and mathematicians alike.§§

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 Advances in Proof-Theoretic Semantics

Autor Thomas Piecha, Peter Schroeder-Heister

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2015

Anzahl der Seiten 283

EAN 9783319226859

ISBN 3319226851

Libristo-Code 09389443

Verlag Springer International Publishing AG

Gewicht 606

Abmessungen 155 x 235 x 239

Kategorie

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

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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