Sinossi
"Questo libro tratta l'aritmetica limitata e la complessità della dimostrazione proposizionale dal punto di vista della complessità computazionale. I primi sette capitoli contengono il background logico necessario per il materiale e sono adatti per un corso di laurea.
Recensioni
caricamento...
Lascia una recensione
Il voto è obbligatorio
