Autore: Kurt Schütte
Proof theory of impredicative subsystems of analysis
Wilfried Buchholz - Kurt Schütte - 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.
Wilfried Buchholz - Kurt Schütte - Bibliopolis, 2007
testo in italiano