BOZZI, SILVIO
BOZZI, SILVIO
Dipartimento di Filosofia Piero Martinetti
Mostra
records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.003 secondi).
Gerolamo Saccheri, Logica dimostrativa, book review in History and Philosophy of Logic, 2013
2013 S. Bozzi
Teoremi di indecidibilità
2008 S. Bozzi
Sintassi
2008 S. Bozzi
Semantica
2008 S. Bozzi
Categoricità
2008 S. Bozzi
Lambda-calcolo
2008 S. Bozzi
Algebra di Boole
2008 S. Bozzi
Teoria dei modelli
2007 S. Bozzi
Logica matematica
2007 S. Bozzi
Linguaggio, logica e matematica in A. Turing
2005 S. Bozzi
Le origini della teoria dei modelli
2005 S. Bozzi
Storia della logica. 1
2004 C. Mangione, S. Bozzi
Storia della logica. 2
2004 C. Mangione, S. Bozzi
Storia della logica : da Boole ai nostri giorni
1993 C. Mangione, S. Bozzi
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
Gerolamo Saccheri, Logica dimostrativa, book review in History and Philosophy of Logic, 2013 | 2013 | S. Bozzi | Article (author) | - | |
Teoremi di indecidibilità | 2008 | S. Bozzi | Book Part (author) | - | |
Sintassi | 2008 | S. Bozzi | Book Part (author) | - | |
Semantica | 2008 | S. Bozzi | Book Part (author) | - | |
Categoricità | 2008 | S. Bozzi | Book Part (author) | - | |
Lambda-calcolo | 2008 | S. Bozzi | Book Part (author) | - | |
Algebra di Boole | 2008 | BOZZI, SILVIO | Book Part (author) | - | |
Teoria dei modelli | 2007 | S. Bozzi | Book Part (author) | - | |
Logica matematica | 2007 | S. Bozzi | Book Part (author) | - | |
Linguaggio, logica e matematica in A. Turing | 2005 | S. Bozzi | Book Part (author) | - | |
Le origini della teoria dei modelli | 2005 | S. Bozzi | Article (author) | - | |
Storia della logica. 1 | 2004 | MANGIONE, CORRADOS. Bozzi | Book (author) | - | |
Storia della logica. 2 | 2004 | C. MangioneS. Bozzi | Book (author) | - | |
Storia della logica : da Boole ai nostri giorni | 1993 | S. Bozzi + | Book (author) | - |