Vai al contenuto principale della pagina
Titolo: | Formalized mathematics : a computer assisted approach |
Pubblicazione: | [Bialystok, Poland] : , : University of Białystok |
Warsaw, Poland : , : De Gruyter Open | |
Soggetto topico: | Mathematics |
Logic, Symbolic and mathematical | |
Mathematical analysis - Foundations | |
Arithmetic - Foundations | |
Soggetto genere / forma: | Electronic journals. |
Periodicals. | |
ISSN: | 1898-9934 |
Note generali: | Refereed/Peer-reviewed |
Altri titoli varianti: | Computer assisted approach |
Titolo autorizzato: | Formalized mathematics |
Formato: | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996321091003316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |