Proof theory of impredicative subsystems of analysis

Wilfried Buchholz,Kurt Schütte

Editore: Bibliopolis
Anno edizione: 1988
In commercio dal: 04/04/2007
Tipo: Libro universitario
Pagine: 126 p.
  • EAN: 9788870881660
Approfitta delle promozioni attive su questo prodotto:

€ 30,75

€ 41,00

Risparmi € 10,25 (25%)

Venduto e spedito da IBS

31 punti Premium

Disponibilità immediata

Quantità: