Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Advances in Proof-Theoretic Semantics

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

Thomas Piecha

Peter Schroeder-Heister

Limba

engleză

Carte Copertă tare

Codul Libristo: 09389443

Editura Springer International Publishing AG, octombrie 2015

This volume covers, in the first ever book collection of its kind, the field of proof-theoretic sema... Descrierea completă

Codul Libristo: 09389443

132 b

284.91 lei

În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

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

Carte broșată

212.41 lei

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

Carte broșată

88.70 lei

PROTECCION SOCIAL EN ESPAÑA LINARES MARQUEZ DE PRADO

Carte broșată

62.52 lei

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

Blu-ray

192.98 lei

EL PAN MALEVOLO Y OTROS CUENTOS SIDNEY PORTER

Carte broșată

123.70 lei

THREE SONNETS OF JOHN DONNE CHANT DAVID L. BRUNNER Materiale tipărite

Note muzicale

27.00 lei

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

Carte broșată

453.18 lei

Ostdeutsche Frauenbewegung Daniel Schmidt

Carte broșată

79.35 lei

Batteur d'estrade. Serie 3 DUPLESSIS-P

Carte broșată

80.08 lei

Jenseits Der Grossen Erzahlungen Jan Rohgalf

Carte broșată

345.88 lei

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

Carte broșată

124.12 lei

Elisabeth von England Gertrude Aretz

Carte broșată

74.88 lei

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

Carte broșată

144.06 lei

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

Copertă tare

306.93 lei

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