Proof theory of impredicative subsystems of analysis

Wilfried Buchholz,Kurt Schütte

Editore: Bibliopolis
Anno edizione: 1988
Tipo: Libro universitario
Pagine: 126 p.
  • EAN: 9788870881660

€ 34,85

€ 41,00

Risparmi € 6,15 (15%)

Venduto e spedito da IBS

35 punti Premium

Disponibilità immediata

Quantità: