Dettaglio del documento
Trova il documento in altre risorse
Proof theory / Kurt Schutte ; translation from the German by J. N. Crossley. - Berlin [etc.] : Springer, 1977. - XII, 302 p. ; 25 cm.
Schütte, Kurt
Testo a stampa (moderno)
1977
https://opac.uniroma1.it/SebinaOpacRMS/resource/RMS01099963