Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Advances in Proof-Theoretic Semantics

Thomas Piecha

Peter Schroeder-Heister

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 18051316

Uitgeverij Springer International Publishing AG, augustus 2016

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

Libristo-code: 18051316

125 b

51.73 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

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

Gebonden (paperback)

13.66 €

Soziale Netzwerke und Katastrophenkommunikation Michael Moll

Gebonden (paperback)

16.19 €

Frontière Eliott de Gastines

Gebonden (paperback)

28.85 €

Privilegien der Erfahrung Joseph Wachter

Gebonden (harde band)

74.01 €

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

Gebonden (paperback)

22.17 €

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

Gebonden (paperback)

57.91 €

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

Gebonden (paperback)

57.91 €

Harry Styles: Fine Line - LP Harry Styles

Audio vinyl

36.85 €

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

Gebonden (harde band)

3.43 €

Kto rozsvecuje hviezdy Amanda Dykesová

Gebonden (paperback)

15.28 €

Musikalische Marchen Edith Polko

Gebonden (harde band)

71.18 €

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

Audio cd

12.75 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Advances in Proof-Theoretic Semantics

Auteur Thomas Piecha, Peter Schroeder-Heister

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2016

Aantal pagina's 283

EAN 9783319367811

ISBN 3319367811

Libristo-code 18051316

Uitgeverij Springer International Publishing AG

Gewicht 4453

Afmetingen 155 x 235 x 16

Categorieën

Filosofie en religie > Filosofie > Onderwerpen in de filosofie > Filosofie: logica

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger