Search the Catalog Library Filosofia Remove from current search Id serie rms00455718 Remove from current search Results 1 - 10 of 48 sorted by Ranking Title Author Date - most recent Date - less recent 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 Find it at Filosofia Ricerca sociale, informatica e comunicazione - Sede Informatica Recursion theory Shoenfield, Joseph R. Testo a stampa (moderno) 1993 Find it at 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 Find it at Lettere e culture moderne (Sede principale Scienze documentarie) Filosofia Descriptive complexity, canonisation, and definable graph structure theory Grohe, Martin Testo a stampa (moderno) 2017 Find it at Filosofia Logic and algebraic structures in quantum computing Testo a stampa (moderno) 2016 Find it at Filosofia A general algebraic semantics for sentential logics Font, Josep Maria Testo a stampa (moderno) 2016 Find it at Filosofia 3: Ordinal definability and recursion theory : the Cabal seminar, v.3. Testo a stampa (moderno) 2016 Find it at Filosofia Lectures on infinitary model theory Marker, David Testo a stampa (moderno) 2016 Find it at Filosofia A guide to NIP theories Simon, Pierre Testo a stampa (moderno) 2015 Find it at Filosofia Turing's legacy : Developments from Turing's ideas in logic Testo a stampa (moderno) 2014 Find it at Filosofia
