Catalogo Biblioteca Filosofia Rimuovi dalla ricerca corrente Id collana rms00553780 Rimuovi dalla ricerca corrente Risultati 1 - 10 di 51 ordinati per Rilevanza Titolo Autore Data - più recente Data - meno recente Sequenza Diagonalization and self-reference Smullyan, Raymond Testo a stampa (moderno) 1994 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Modal logic Chagrov, Alexander Testo a stampa (moderno) 1997 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Model theory Manzano, Maria Testo a stampa (moderno) 1999 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Libro moderno copertina Labelled deductive systems Gabbay, Dov M. <1945- > Testo a stampa (moderno) 1996 Lo trovi in Filosofia Fisica Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Twenty-five years of constructive type theory : proceedings of a congress held in Venice, october 1995 Testo a stampa (moderno) 1998 Lo trovi in Filosofia Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Arithmetic, proof theory, and computational complexity Testo a stampa (moderno) 1993 Lo trovi in Filosofia Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Fibring logics Gabbay, Dov M. <1945- > Testo a stampa (moderno) 1999 Lo trovi in Filosofia Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Set theory and the continuum problem Smullyan, Raymond Testo a stampa (moderno) 1996 Lo trovi in Filosofia Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Change, choice and inference : a study of belief revision and nonmonotonic reasoning Rott, Hans Testo a stampa (moderno) 2001 Lo trovi in Filosofia Scienze statistiche (Sede principale Statistica) Matematica G. Castelnuovo An Introduction to stability theory Pillay, Anand Testo a stampa (moderno) Claredon press 1983 Lo trovi in Filosofia Scienze statistiche (Sede principale Statistica) Matematica G. Castelnuovo
