Catalogo Biblioteca Filosofia Rimuovi dalla ricerca corrente Id collana rms00704463 Rimuovi dalla ricerca corrente Risultati 1 - 10 di 128 ordinati per Rilevanza Titolo Autore Data - più recente Data - meno recente Sequenza Handbook of mathematical logic Testo a stampa (moderno) 1977 Lo trovi in 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 Lo trovi in 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 Lo trovi in 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 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Libro moderno copertina The theory of models : proceedings of the 1963 international symposium at Berkeley Testo a stampa (moderno) 1965 Lo trovi in 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 Libro moderno copertina Mathematical interpretation of formal systems Testo a stampa (moderno) 1955 Lo trovi in 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 Lo trovi in Filosofia Scienze statistiche (Sede principale Statistica) Fisica Matematica G. Castelnuovo Libro moderno copertina Combinatory logic Testo a stampa (moderno) 1958 Lo trovi in Filosofia Scienze statistiche (Sede principale Statistica) Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica Libro moderno copertina Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel Mostowski, Andrzej Testo a stampa (moderno) 1952 Lo trovi in 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 Lo trovi in Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo
