Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Advances in Proof-Theoretic Semantics

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

Thomas Piecha

Peter Schroeder-Heister

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 09389443

Založba Springer International Publishing AG, oktober 2015

This volume covers, in the first ever book collection of its kind, the field of proof-theoretic sema... Celoten opis

Koda Libristo: 09389443

118 b

48.85 €

Na zalogi pri dobavitelju Odposlali bomo v 10-13 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

Mehka

36.10 €

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

Mehka

15.06 €

PROTECCION SOCIAL EN ESPAÑA LINARES MARQUEZ DE PRADO

Mehka

10.81 €

EL PAN MALEVOLO Y OTROS CUENTOS SIDNEY PORTER

Mehka

21.44 €

THREE SONNETS OF JOHN DONNE CHANT DAVID L. BRUNNER Tiskani izdelki

Note

4.74 €

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

Blu-ray

33.68 €

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

Mehka

76.97 €

Ostdeutsche Frauenbewegung Daniel Schmidt

Mehka

13.54 €

Batteur d'estrade. Serie 3 DUPLESSIS-P

Mehka

13.85 €

Jenseits Der Grossen Erzahlungen Jan Rohgalf

Mehka

59.27 €

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

Mehka

21.54 €

Elisabeth von England Gertrude Aretz

Mehka

12.74 €

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

Mehka

25.08 €

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

Trda

58.66 €

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