21
TITLE: On the consistency of the Δ1 1-CA fragment of Frege's Grundgesetze
AUTHORS: Ferreira, F ; Wehmeier, K;
PUBLISHED: 2002, SOURCE: Journal of Philosophical Logic, VOLUME: 31, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID
22
TITLE: A note on finiteness in the predicative foundations of arithmetic  Full Text
AUTHORS: Ferreira, F ;
PUBLISHED: 1999, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 28, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
23
TITLE: Two general results on intuitionistic bounded theories  Full Text
AUTHORS: Ferreira, F ;
PUBLISHED: 1999, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 45, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
24
TITLE: Extracting algorithms from intuitionistic proofs  Full Text
AUTHORS: Ferreira, F ; Marques, A;
PUBLISHED: 1998, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 44, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
25
TITLE: On end-extensions of models of -exp
AUTHORS: Ferreira, F ;
PUBLISHED: 1996, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 42, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
26
TITLE: What are the ∀∑1 b-consequences of T2 1 and T2 2?  Full Text
AUTHORS: Ferreira, F ;
PUBLISHED: 1995, SOURCE: Annals of Pure and Applied Logic, VOLUME: 75, ISSUE: 1-2
INDEXED IN: Scopus
IN MY: ORCID
27
TITLE: BINARY MODELS GENERATED BY THEIR TALLY PART
AUTHORS: FERREIRA, F ;
PUBLISHED: 1994, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 33, ISSUE: 4
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 3 of 3. Total results: 27.