Kaikki kirjat 25 % alennuksella koodilla: BOOKS

  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Structural Proof Theory - Jan Von Plato,Aarne Ranta,Sara Negri

englanti
2014-05-07
189,57 € 252,76 €

-25% koodilla BOOKS

Toimittajalla varastossa

Toimitus 17-23 arkipäivässä

30 päivän palautusoikeus

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature ... Täydellinen kuvaus

Saatat myös pitää

Kuvaus

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

Lisätietoja

Kirjoittaja Jan Von Plato, Aarne Ranta, Sara Negri
Julkaisija Cambridge University Press
Julkaisuvuosi 2014
Kannen tyyppi Kovakantinen
EAN 9780521793070
Kirjoita oma arvostelusi
Arvostelet: Structural Proof Theory
Arvostelusi:

Goodreads-arvostelut

189,57 € 252,76 €