SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Ulrich Kohlenbach | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Ulrich Kohlenbach
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Kovakantinen kirja
126,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Ulrich Kohlenbach
Springer (2010)
Pehmeäkantinen kirja
126,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile,  September 1-4, 201
Ulrich Kohlenbach; Pablo Barceló; Ruy J G B de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja
47,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic Colloquium 2007
Francoise Delon; Ulrich Kohlenbach; Penelope Maddy; Frank Stephan
Cambridge University Press (2010)
Kovakantinen kirja
122,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013
Leonid Libkin; Ulrich Kohlenbach; Ruy de Queiroz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
45,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic Colloquium 2007
Francoise Delon; Ulrich Kohlenbach; Penelope Maddy; Frank Stephan
Cambridge University Press (2014)
Pehmeäkantinen kirja
47,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic, Language, Information, and Computation - 20th International Workshop, Wollic 2013, Darmstadt, Germany, August 20-23, 2013
Leonid Libkin; Ulrich Kohlenbach; Ruy De Queiroz
Springer (2013)
Pehmeäkantinen kirja
116,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
126,80 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 536 sivua
Asu: Kovakantinen kirja
Painos: 2008 ed.
Julkaisuvuosi: 2008, 26.05.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Springer Monographs in Mathematics
This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as - via extended case studies - carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Applied Proof Theory: Proof Interpretations and their Use in Mathematicszoom
Näytä kaikki tuotetiedot
ISBN:
9783540775324
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste