Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 prevzemna mesta DPD in Express One.

Advances in Proof-Theoretic Semantics

Thomas Piecha

Peter Schroeder-Heister

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 18051316

Založba Springer International Publishing AG, avgust 2016

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contribu... Celoten opis

Koda Libristo: 18051316

118 b

48.78 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Soziale Netzwerke und Katastrophenkommunikation Michael Moll

Mehka

15.14 €

Frontière Eliott de Gastines

Mehka

26.25 €

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

Mehka

21.10 €

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

Mehka

54.43 €

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

Mehka

12.41 €

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

Mehka

54.43 €

Harry Styles: Fine Line - LP Harry Styles

Zvočni vinil

29.08 €

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

Trda

3.42 €

Kto rozsvecuje hviezdy Amanda Dykesová

Mehka

13.63 €

Musikalische Marchen Edith Polko

Trda

66.86 €

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

Zvočni CD

11.30 €

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.