Document detail Share Find the document in other resources ???scheda.servizi.button??? Copia link The permalink has been copied, you can use it immediately.Just press Ctrl+v keys to put it where you prefer. Twitter 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 Write a review and share it with other readers. Find it at Details $currentBibFull Choose a library Filosofia Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica All libraries https://opac.uniroma1.it/SebinaOpacRMS/resource/RMS00189357?locale=eng