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.
Journal of formalized reasoning
| Journal of formalized reasoning |
| Pubbl/distr/stampa | Bologna, Italy, : Centro Inter-Bibliotecario |
| Soggetto topico |
Proof theory
Formalization (Linguistics) Metamathematics Logic, Symbolic and mathematical |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Mathematical Theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145959903321 |
| Bologna, Italy, : Centro Inter-Bibliotecario | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal of formalized reasoning
| Journal of formalized reasoning |
| Pubbl/distr/stampa | Bologna, Italy, : Centro Inter-Bibliotecario |
| Soggetto topico |
Proof theory
Formalization (Linguistics) Metamathematics Logic, Symbolic and mathematical |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Mathematical Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996321401103316 |
| Bologna, Italy, : Centro Inter-Bibliotecario | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
