Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Advances in Proof-Theoretic Semantics

Thomas Piecha

Peter Schroeder-Heister

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 18051316

Editores Springer International Publishing AG, agosto 2016

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contribu... Descripción completa

Código Libristo: 18051316

139 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Soziale Netzwerke und Katastrophenkommunikation Michael Moll

Tapa blanda

17.89 €

Frontière Eliott de Gastines

Tapa blanda

29.09 €

Privilegien der Erfahrung Joseph Wachter

Tapa dura

76.09 €

Journal d'Un Habitant de Constantinople, 1914-1915 EDWARDS-E

Tapa blanda

22.99 €

Subsídios para a produção de Pinus elliottii No sudeste do RS, Brasil Eduardo Pagel Floriano

Tapa blanda

63.89 €

Le Marche Des Fonds Publics Et La Conversion Pages-Duport-A

Tapa blanda

14.19 €

Derecho de las mujeres a la igualdad y no discriminacion Mónica Camacho Mejía

Tapa blanda

63.89 €

Harry Styles: Fine Line - LP Harry Styles

Vinilo de audio

32.79 €

Po pražcích slepých kolejišť Max Kašparů

Tapa dura

3.39 €

Kto rozsvecuje hviezdy Amanda Dykesová

Tapa blanda

16.19 €

Musikalische Marchen Edith Polko

Tapa dura

78.59 €

Traja kamoši a fakticky fantastický bunker Barbora Kardošová

CD de audio

13.39 €

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address 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. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics 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 presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis 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.