Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formalized mathematics : a computer assisted approach
| Formalized mathematics : a computer assisted approach |
| Pubbl/distr/stampa | [Bialystok, Poland] : , : University of Białystok |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical Mathematical analysis - Foundations Arithmetic - Foundations |
| Soggetto genere / forma |
Electronic journals.
Periodicals. |
| ISSN | 1898-9934 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Computer assisted approach |
| Record Nr. | UNISA-996321091003316 |
| [Bialystok, Poland] : , : University of Białystok | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formalized mathematics : a computer assisted approach
| Formalized mathematics : a computer assisted approach |
| Pubbl/distr/stampa | [Bialystok, Poland] : , : University of Białystok |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical Mathematical analysis - Foundations Arithmetic - Foundations |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1898-9934 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Computer assisted approach |
| Record Nr. | UNINA-9910147189203321 |
| [Bialystok, Poland] : , : University of Białystok | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||