Catalogo Biblioteca Filosofia Rimuovi dalla ricerca corrente Id collana rms00455718 Rimuovi dalla ricerca corrente Risultati 1 - 10 di 48 ordinati per Rilevanza Titolo Autore Data - più recente Data - meno recente Sequenza Logic colloquium 2004 : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Torino, Italy, July 25-31, 2004 Logic colloquium < 2004 ; Torino> Testo a stampa (moderno) 2008 Lo trovi in Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Recursion theory Shoenfield, Joseph R. Testo a stampa (moderno) 1993 Lo trovi in Filosofia Matematica G. Castelnuovo Gödel '96 : logical foundations of mathematics, computer science and physics-Kurt Gödelʼs legacy : Bruno, Czech Republic, august 1996 proceedings Testo a stampa (moderno) 1996 Lo trovi in Lettere e culture moderne (Sede principale Scienze documentarie) Filosofia Descriptive complexity, canonisation, and definable graph structure theory Grohe, Martin Testo a stampa (moderno) 2017 Lo trovi in Filosofia Logic and algebraic structures in quantum computing Testo a stampa (moderno) 2016 Lo trovi in Filosofia A general algebraic semantics for sentential logics Font, Josep Maria Testo a stampa (moderno) 2016 Lo trovi in Filosofia 3: Ordinal definability and recursion theory : the Cabal seminar, v.3. Testo a stampa (moderno) 2016 Lo trovi in Filosofia Lectures on infinitary model theory Marker, David Testo a stampa (moderno) 2016 Lo trovi in Filosofia A guide to NIP theories Simon, Pierre Testo a stampa (moderno) 2015 Lo trovi in Filosofia Turing's legacy : Developments from Turing's ideas in logic Testo a stampa (moderno) 2014 Lo trovi in Filosofia
