Autore: Buchholz Wilfried
Proof theory of impredicative subsystems of analysis
Buchholz Wilfried - Schütte Kurt - Bibliopolis, 2007
testo in italiano

top
Hai dimenticato la tua password?
inserisci il tuo email/login qui sotto e riceverai la password all'indirizzo indicato.
Buchholz Wilfried - Schütte Kurt - Bibliopolis, 2007
testo in italiano
