Vai al contenuto principale della pagina
Autore: | Pohlers, Wolfram |
Titolo: | Proof theory [e-book] : the first step into impredicativity / by Wolfram Pohlers |
Pubblicazione: | Berlin : Springer, 2009 |
Descrizione fisica: | v.: digital |
Soggetto topico: | Logic, Symbolic and mathematical |
ISBN: | 9783540693192 |
Formato: | Software |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 991000526769707536 |
Lo trovi qui: | Univ. del Salento |
Localizzazioni e accesso elettronico | http://dx.doi.org/10.1007/978-3-540-69319-2 |
Opac: | Controlla la disponibilità qui |