Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Advances in Proof-Theoretic Semantics

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

Thomas Piecha

Peter Schroeder-Heister

Langue

Anglais

Livre Livre relié

Code Libristo: 09389443

Éditeurs Springer International Publishing AG, octobre 2015

This volume covers, in the first ever book collection of its kind, the field of proof-theoretic sema... Description détaillée

Code Libristo: 09389443

125 b

51.09 € TVA incluse

Stockage externe Expédition sous 10-13 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

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

Livre de poche

42.95 €

Jenseits Der Grossen Erzahlungen Jan Rohgalf

Livre de poche

64.99 €

Alice, Sweet Alice, 1 Blu-ray + 1 DVD (Mediabook Cover C) Alfred Sole

Blu-ray

31.59 €

PROTECCION SOCIAL EN ESPAÑA LINARES MARQUEZ DE PRADO

Livre de poche

10.59 €

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

Livre de poche

17.69 €

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

Livre relié

60.85 €

Patologías del aparato digestivo : según la medicina tradicional china Marcelo Cano Granado

Livre de poche

24.59 €

EL PAN MALEVOLO Y OTROS CUENTOS SIDNEY PORTER

Livre de poche

21.09 €

THREE SONNETS OF JOHN DONNE CHANT DAVID L. BRUNNER Articles imprimés

Partitions

4.09 €

จอห์นอ้วนกับเทพพยากรณ&#3 Duke Tate

Livre de poche

7.99 €

Batteur d'estrade. Serie 3 DUPLESSIS-P

Livre de poche

12.29 €

Ostdeutsche Frauenbewegung Daniel Schmidt

Livre de poche

14.99 €

Elisabeth von England Gertrude Aretz

Livre de poche

14.90 €

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

Livre de poche

21.19 €

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

Livre de poche

80.89 €

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.§§