opac, catalogo, online,servizi, biblioteca, sebina

Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek. - Oxford : Clarendon press, 1993. - XII, 428 p. ; 24 cm.

Testo a stampa (moderno) 1993