Proof theory of impredicative subsystems of analysis

Wilfried Buchholz, Kurt Schutte

Prezzo:41,00

Prodotto al momento non disponibile.

Titolo: Proof theory of impredicative subsystems of analysis
Autore: Wilfried Buchholz, Kurt Schutte
Editore: Bibliopolis
Data di Pubblicazione: 2007
Pagine: 126
Formato:
ISBN: 9788870881660