0 Mėgstami
0Krepšelis
127,93 
127,93 
2025-07-31 127.9300 InStock
Nemokamas pristatymas į paštomatus per 16-20 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.

Informacija

Autorius: Anne S. Troelstra, A. S. Troelstra, H. Schwichtenberg,
Leidėjas: Cambridge University Press
Išleidimo metai: 2002
Knygos puslapių skaičius: 432
ISBN-10: 0521779111
ISBN-13: 9780521779111
Formatas: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Computer architecture and logic design

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Basic Proof Theory“

Būtina įvertinti prekę

Goodreads reviews for „Basic Proof Theory“