Accedi Lista desideri Carrello

Basic Proof Theory di A. S. Troelstra, H. Schwichtenberg edito da Cambridge University Press

Basic Proof Theory

di

A. S. Troelstra

,

H. Schwichtenberg

Editore:: Cambridge University Press
Collana:: Cambridge Tracts In Theoretical Computer Science
EAN:: 9780521784528
ISBN:: 0521784522
Pagine:: 430
Formato:: Paperback
Lingua:: Inglese

Acquistabile con o la

Descrizione Basic Proof Theory

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

Fuori catalogo - Non ordinabile

€ 21.00

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti