Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Advances in Proof-Theoretic Semantics

Thomas Piecha

Peter Schroeder-Heister

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 18051316

Nakladnici Springer International Publishing AG, kolovoz 2016

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

Libristo kod: 18051316

153 b

63.53 €

Vanjske zalihe Šaljemo za 10-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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

Meki uvez

13.67 €

Soziale Netzwerke und Katastrophenkommunikation Michael Moll

Meki uvez

16.21 €

Frontière Eliott de Gastines

Meki uvez

27.66 €

Privilegien der Erfahrung Joseph Wachter

Tvrdi uvez

74.07 €

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

Meki uvez

22.18 €

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

Meki uvez

62.52 €

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

Meki uvez

62.52 €

Harry Styles: Fine Line - LP Harry Styles

Audio vinil

30.90 €

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

Tvrdi uvez

3.44 €

Kto rozsvecuje hviezdy Amanda Dykesová

Meki uvez

14.48 €

Musikalische Marchen Edith Polko

Tvrdi uvez

91.40 €

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

Audio CD

12.05 €

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.