Vai al contenuto principale della pagina
Autore: | Heyting, A. |
Titolo: | Mathematische grundlagenforschung Intuitionismus Beweistheorie / A. Heyting |
Pubblicazione: | Berlin : Springer-Verlag, 1934 (reprint 1974) |
Descrizione fisica: | iv, 73 p. ; 24 cm |
Disciplina: | 511.3 |
Titolo uniforme di collana: | Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 4 |
Soggetto topico: | Mathematical logic |
Proof theory | |
Classificazione: | AMS 03-02 |
AMS 03F | |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Tedesco |
Record Nr.: | 991001127119707536 |
Lo trovi qui: | Univ. del Salento |
Opac: | Controlla la disponibilità qui |