Visualizza carrello “Selected Papers in Proof Theory” è stato aggiunto al tuo carrello.
copertina bounded_NEW
ISBN: 9788870881509
Pagine: 222
Anno: 1986
Edizione: 7088
Rilegatura: COFANETTO

Bounded Arithmetic

Lingua: inglese
Categoria: , , .


This dissertation uses methods from mathematical logic to examine issues related to computational complexity.

Log in with your credentials

Forgot your details?