Gratis bezorging voor bestellingen boven de 69,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 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Advances in Proof-Theoretic Semantics

Name: Advances in Proof-Theoretic Semantics
Brand: Springer International Publishing AG
SKU: 09389443
Price: 51.78 EUR
Availability: InStock
Author: Thomas Piecha
ISBN: 9783319226859

Thomas Piecha

Peter Schroeder-Heister

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 09389443

Uitgeverij Springer International Publishing AG, oktober 2015

This volume covers, in the first ever book collection of its kind, the field of proof-theoretic sema... Volledige beschrijving

Libristo-code: 09389443

125 b

51.78 €

In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

perfekte Dinner - von Austern, Bordeaux und der richtigen Garderobe S. Keup

Gebonden (paperback)

38.40 €

Nacho Camacho COTA

Gebonden (paperback)

16.31 €

EL PAN MALEVOLO Y OTROS CUENTOS SIDNEY PORTER

Gebonden (paperback)

23.70 €

Un país en gris i negre Porcar Orihuela

Gebonden (paperback)

26.54 €

Materialitaet(en) Des Kultur- Und Wissenstransfers in Prae- Und Transnationalen Kontexten Michael Gissenwehrer

Gebonden (harde band)

62.01 €

Mladiću, možeš to pobijediti Arterburn Stephen Stoeker Fred Yorkey Mike

Gebonden (paperback)

17.02 €

PROTECCION SOCIAL EN ESPAÑA LINARES MARQUEZ DE PRADO

Gebonden (paperback)

11.95 €

Alice, Sweet Alice, 1 Blu-ray + 1 DVD (Mediabook Cover C) Alfred Sole

Blu-ray

36.58 €

LECTURES CLE EN FRANCAIS FACILE NIVEAU 2: EUGENIE GRANDET Honoré De Balzac

Gebonden (paperback)

8.20 €

THREE SONNETS OF JOHN DONNE CHANT DAVID L. BRUNNER Drukwerk

Bladmuziek

4.85 €

จอห์นอ้วนกับเทพพยากรณ&#3 Duke Tate

Gebonden (paperback)

9.21 €

Elisabeth von England Gertrude Aretz

Gebonden (paperback)

13.57 €

Patologías del aparato digestivo : según la medicina tradicional china Marcelo Cano Granado

Gebonden (paperback)

27.66 €

Biais d''ancrage Dans Les D cisions Judiciaires Béatrice Geyres

Gebonden (paperback)

81.98 €

Jenseits Der Grossen Erzahlungen Jan Rohgalf

Gebonden (paperback)

62.72 €

Mindfulness para l duelo prolongado. Una guía para recuperarse de la pérdida de un ser querido cuando la depresión, la ansiedad y la ira no desaparece SAMEET M. KUMAR

Gebonden (paperback)

23.81 €

Batteur d'estrade. Serie 3 DUPLESSIS-P

Gebonden (paperback)

14.58 €

Ostdeutsche Frauenbewegung Daniel Schmidt

Gebonden (paperback)

14.38 €

This volume covers, in the first ever book collection of its kind, the field of proof-theoretic semantics. The wide variety of researchers contributing to this volume cover 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.§§Proof-theoretic semantics is a field that has been in existence for almost 50 years but the term itself was proposed by Schroeder-Heister in the 1980s. It 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 talks given at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, whereby contributing authors were asked to provide a self-contained description 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 (harde band)

Datum van uitgifte 2015

Aantal pagina's 283

EAN 9783319226859

ISBN 3319226851

Libristo-code 09389443

Uitgeverij Springer International Publishing AG

Gewicht 606

Afmetingen 155 x 235 x 239

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

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

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

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