Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Confirmed Publications: 27



11
TITLE: Harrington's conservation theorem redone  Full Text
AUTHORS: Fernando Ferreira ; Gilda Ferreira ;
PUBLISHED: 2008, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 47, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
12
TITLE: The Riemann integral in weak systems of analysis
AUTHORS: Fernando Ferreira ; Gilda Ferreira ;
PUBLISHED: 2008, SOURCE: 4th International Conference on Computability and Complexity in Analysis in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID
13
TITLE: Bounded functional interpretation and feasible analysis  Full Text
AUTHORS: Fernando Ferreira ; Paulo Oliva;
PUBLISHED: 2007, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 145, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
14
TITLE: Bounded modified realizability
AUTHORS: Ferreira, F ; Nunes, A;
PUBLISHED: 2006, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 71, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
15
TITLE: Comments on predicative logic (Propositional logic)  Full Text
AUTHORS: Ferreira, F ;
PUBLISHED: 2006, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 35, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID
16
TITLE: Counting as integration in feasible analysis  Full Text
AUTHORS: Fernando Ferreira ; Gilda Ferreira ;
PUBLISHED: 2006, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 52, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
17
TITLE: A simple proof of Parsons' theorem
AUTHORS: Ferreira, F ;
PUBLISHED: 2005, SOURCE: Notre Dame Journal of Formal Logic, VOLUME: 46, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
18
TITLE: Amending Frege's Grundgesetze der Arithmetik - To the memory of Nhe (1925-2001)  Full Text
AUTHORS: Ferreira, F ;
PUBLISHED: 2005, SOURCE: SYNTHESE, VOLUME: 147, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID
19
TITLE: Bounded functional interpretation  Full Text
AUTHORS: Ferreira, F ; Oliva, P;
PUBLISHED: 2005, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 135, ISSUE: 1-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
20
TITLE: Groundwork for weak analysis
AUTHORS: Fernandes, AM ; Ferreira, F ;
PUBLISHED: 2002, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 67, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 2 of 3. Total results: 27.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service