Sfoglia per Autore
La filosofia della matematica
1967 Cellucci, Carlo
Teoria della dimostrazione
1978 Cellucci, Carlo
Il paradiso di Cantor. Il dibattito sui fondamenti della teoria degli insiemi
1979 Cellucci, Carlo
Logiche moderne
1981 Cellucci, Carlo
Il ruolo delle definizioni esplicite in matematica
1985 Cellucci, Carlo
Proof theory and complexity
1985 Cellucci, Carlo
Using full first order logic as a programming language
1987 Cellucci, Carlo
Temi e prospettive della logica e della filosofia della scienza contemporanee
1988 Cellucci, Carlo; Sambin, G.
Efficient natural deduction
1988 Cellucci, Carlo
On a seriously neglected proof of the non-finite axiomatizability of PA
1988 Cellucci, Carlo
La logica e la rappresentazione delle conoscenze
1990 Cellucci, Carlo
Sequent natural deduction and intuitionistic logic
1991 Cellucci, Carlo
Bolzano and multiple-conclusion logic
1992 Cellucci, Carlo
Gödel's Incompleteness Theorem and the Philosophy of Open Systems
1992 Cellucci, Carlo
Existential instantiation and normalization in sequent natural deduction
1992 Cellucci, Carlo
Dalla logica teoretica alla logica pratica
1992 Cellucci, Carlo
Theory of deduction
1992 Cellucci, Carlo
Gli scopi della logica matematica
1993 Cellucci, Carlo
Tableaux and automated theorem proving
1993 Cellucci, Carlo
Il procedimento per ipotesi e la logica
1994 Cellucci, Carlo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile