sebina, you, services, library, user

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