Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Advances in Proof-Theoretic Semantics

Thomas Piecha

Peter Schroeder-Heister

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 18051316

Nakladatelství Springer International Publishing AG, srpen 2016

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contribu... Celý popis

Libristo kód: 18051316

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Soziale Netzwerke und Katastrophenkommunikation Michael Moll

Brožovaná

369 Kč

Frontière Eliott de Gastines

Brožovaná

698 Kč

Privilegien der Erfahrung Joseph Wachter

Pevná

1 717 Kč

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

Brožovaná

511 Kč

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

Brožovaná

1 318 Kč

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

Brožovaná

315 Kč

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

Brožovaná

1 318 Kč

Harry Styles: Fine Line - LP Harry Styles

Audio vinyl

706 Kč

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

Pevná

89 Kč

Kto rozsvecuje hviezdy Amanda Dykesová

Brožovaná

343 Kč

Musikalische Marchen Edith Polko

Pevná

1 620 Kč

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

Audio CD

277 Kč

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.