Search the Catalog Library Filosofia Remove from current search Id serie rms00704463 Remove from current search Results 1 - 10 of 128 sorted by Ranking Title Author Date - most recent Date - less recent Sequenza Handbook of mathematical logic Testo a stampa (moderno) 1977 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Fisica Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Logic, methodology and philosophy of science : proceedings of the 1964 international congress Testo a stampa (moderno) North - Holland 1965 Find it at Filosofia Scienze di base e applicate per l'ingegneria Scienze statistiche (Sede principale Statistica) Fisica Matematica G. Castelnuovo Classical recursion theory : the theory of functions and sets of natural numbers Odifreddi, Piergiorgio Testo a stampa (moderno) 1989 Find it at Filosofia Scienze statistiche (Sede principale Statistica) Fisica Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica The lambda calculus : its syntax and semantics Barendregt, Hendrik Pieter Testo a stampa (moderno) 1984 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Modern book cover The theory of models : proceedings of the 1963 international symposium at Berkeley Testo a stampa (moderno) 1965 Find it at Metodi e modelli per l'economia il territorio e la finanza Filosofia Ingegneria astronautica, elettrica ed energetica (Sede principale Ingegneria elettrica) Scienze statistiche (Sede principale Statistica) Matematica G. Castelnuovo Modern book cover Mathematical interpretation of formal systems Testo a stampa (moderno) 1955 Find it at Metodi e modelli per l'economia il territorio e la finanza Filosofia Ingegneria civile - sede Trasporti e strade F. Giannini Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Foundations of infinitesimal stochastic analysis Stroyan, Keith D. Testo a stampa (moderno) 1986 Find it at Filosofia Scienze statistiche (Sede principale Statistica) Fisica Matematica G. Castelnuovo Modern book cover Combinatory logic Testo a stampa (moderno) 1958 Find it at Filosofia Scienze statistiche (Sede principale Statistica) Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Modern book cover Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel Mostowski, Andrzej Testo a stampa (moderno) 1952 Find it at Metodi e modelli per l'economia il territorio e la finanza Filosofia Scienze statistiche (Sede principale Statistica) Matematica G. Castelnuovo Recursive functionals Sanchis, Luis E. Testo a stampa (moderno) 1992 Find it at Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo
