Proof theory of impredicative subsystems of analysis
Riferimento: 9788870881660
Editore: Bibliopolis
Autore: Buchholz Wilfried, Schütte Kurt Collana: Studies in proof theory In commercio dal: 04 Aprile 2007 Pagine: 126 p., Libro EAN: 9788870881660
Autore: Buchholz Wilfried, Schütte Kurt Collana: Studies in proof theory In commercio dal: 04 Aprile 2007 Pagine: 126 p., Libro EAN: 9788870881660
41,00 €
IVA inclusa