Search the Catalog Library Filosofia Remove from current search Id serie rms00553780 Remove from current search Results 1 - 10 of 51 sorted by Ranking Title Author Date - most recent Date - less recent Sequenza Modal logic Chagrov, Alexander Testo a stampa (moderno) 1997 Find it at 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 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Diagonalization and self-reference Smullyan, Raymond Testo a stampa (moderno) 1994 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Modern book cover Labelled deductive systems Gabbay, Dov M. <1945- > Testo a stampa (moderno) 1996 Find it at Filosofia Fisica Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Set theory and the continuum problem Smullyan, Raymond Testo a stampa (moderno) 1996 Find it at Filosofia 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 Find it at Filosofia Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Fibring logics Gabbay, Dov M. <1945- > Testo a stampa (moderno) 1999 Find it at Filosofia Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Arithmetic, proof theory, and computational complexity Testo a stampa (moderno) 1993 Find it at 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 Find it at Filosofia Scienze statistiche (Sede principale Statistica) Matematica G. Castelnuovo An Introduction to stability theory Pillay, Anand Testo a stampa (moderno) Claredon press 1983 Find it at Filosofia Scienze statistiche (Sede principale Statistica) Matematica G. Castelnuovo
