1
TITLE: ATOMIC POLYMORPHISM
AUTHORS: Fernando Ferreira ; Gilda Ferreira ;
PUBLISHED: 2013, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 78, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: A short note on spector's proof of consistency of analysis
AUTHORS: Ferreira, F ;
PUBLISHED: 2012, SOURCE: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7318 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
3
TITLE: Computability in Europe 2010  Full Text
AUTHORS: Fernando Ferreira ; Martin Hyland; Benedikt Loewe; Elvira Mayordomo;
PUBLISHED: 2012, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 163, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID
4
TITLE: On the notion of object. A logical genealogy
AUTHORS: Ferreira, F ;
PUBLISHED: 2012, SOURCE: Disputatio, VOLUME: 4, ISSUE: 34
INDEXED IN: Scopus
IN MY: ORCID
5
TITLE: Programs, Proofs, Processes  Full Text
AUTHORS: Fernando Ferreira ; Benedikt Lowe; Elvira Mayordomo;
PUBLISHED: 2012, SOURCE: THEORY OF COMPUTING SYSTEMS, VOLUME: 51, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
6
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Ferreira, F ; Lowe, B; Mayordomo, E; Gomes, LM;
PUBLISHED: 2010, SOURCE: 6th Conference on Computability in Europe, CiE 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6158 LNCS
INDEXED IN: Scopus
7
TITLE: THE BOUNDED FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
AUTHORS: Patricia Engracia; Fernando Ferreira ;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 75, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID
8
TITLE: Commuting conversions vs. the standard conversions of the "good" connectives  Full Text
AUTHORS: Ferreira, F ; Ferreira, G ;
PUBLISHED: 2009, SOURCE: Studia Logica, VOLUME: 92, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
9
TITLE: Injecting uniformities into Peano arithmetic  Full Text
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2009, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 157, ISSUE: 2-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
10
TITLE: A most artistic package of a jumble of ideas (Kurt Godel)
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2008, SOURCE: DIALECTICA, VOLUME: 62, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID
Página 1 de 3. Total de resultados: 27.