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.
The bulletin of symbolic logic
| The bulletin of symbolic logic |
| Pubbl/distr/stampa | Champaign, Ill., : Association for Symbolic Logic, 1995- |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Symbolische logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1943-5894 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996206889503316 |
| Champaign, Ill., : Association for Symbolic Logic, 1995- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The bulletin of symbolic logic
| The bulletin of symbolic logic |
| Pubbl/distr/stampa | Champaign, Ill., : Association for Symbolic Logic, 1995- |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Symbolische logica Lògica Lògica matemàtica |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1943-5894 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910140768203321 |
| Champaign, Ill., : Association for Symbolic Logic, 1995- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The journal of symbolic logic
| The journal of symbolic logic |
| Pubbl/distr/stampa | Champaign, Ill., : Association for Symbolic Logic, 1936- |
| Disciplina | 160.5 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Logika Symbolische logica Logique mathématique Logique (Philosophie) |
| Soggetto genere / forma |
Czasopismo filozoficzne
Periodicals. Ressource Internet (Descripteur de forme) Périodique électronique (Descripteur de forme) |
| ISSN | 1943-5886 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910134175903321 |
| Champaign, Ill., : Association for Symbolic Logic, 1936- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The journal of symbolic logic
| The journal of symbolic logic |
| Pubbl/distr/stampa | Champaign, Ill., : Association for Symbolic Logic, 1936- |
| Disciplina | 160.5 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Logika Symbolische logica Logique mathématique Logique (Philosophie) |
| Soggetto genere / forma |
Czasopismo filozoficzne
Periodicals. Ressource Internet (Descripteur de forme) Périodique électronique (Descripteur de forme) |
| ISSN | 1943-5886 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996211395303316 |
| Champaign, Ill., : Association for Symbolic Logic, 1936- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the International Symposium on Symbolic and Algebraic Computation : ISSAC
| Proceedings of the International Symposium on Symbolic and Algebraic Computation : ISSAC |
| Pubbl/distr/stampa | New York, N.Y., : ACM Press, c1990- |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico |
Mathematics - Data processing
Algebra - Data processing Fundamentele informatica Symbolische logica |
| Soggetto genere / forma | Conference papers and proceedings. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
ISSAC
Symbolic and algebraic computation |
| Record Nr. | UNISA-996217759003316 |
| New York, N.Y., : ACM Press, c1990- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
