Nemokamas pristatymas nuo 29€

  • check 10 + milijonai knygų
  • check Naujienos (kiekvieną dieną)
  • check 1 + mln. klientų mus pasitiki
  • check Geros kainos % Nuolaidos
  • check Nemokamas pristatymas nuo 29 eur

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

Anglų
2014-05-07
189,57 € 252,76 €

-25% su kodu BOOKS

Minkšti viršeliai Kieti viršeliai 252,76 €
Turime sandėlyje pas mūsų tiekėją

Pristatymas per 17-23 d.d.

30 dienų grąžinimo politika

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 ... Visas aprašymas

Jums taip pat gali patikti

Aprašymas

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.

Daugiau informacijos

Autorius Jan Von Plato, Aarne Ranta, Sara Negri
Leidėjas Cambridge University Press
Išleidimo metai 2014
Viršelio tipas Kieti viršeliai
EAN 9780521793070
Parašykite savo atsiliepimą
Jūs peržiūrėjote: Structural Proof Theory
Jūsų įvertinimas:

Goodreads Atsiliepimai

189,57 € 252,76 €