Fernando Jorge Inocêncio Ferreira
AuthID: R-000-4Z7
61
TITLE: A FEASIBLE THEORY FOR ANALYSIS
AUTHORS: FERREIRA, F;
PUBLISHED: 1994, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 59, ISSUE: 3
AUTHORS: FERREIRA, F;
PUBLISHED: 1994, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 59, ISSUE: 3
INDEXED IN: 
WOS
WOS IN MY: 
ORCID
ORCID62
TITLE: Binary models generated by their tally part
AUTHORS: Fernando Ferreira;
PUBLISHED: 1994, SOURCE: Arch Math Logic - Archive for Mathematical Logic, VOLUME: 33, ISSUE: 4
AUTHORS: Fernando Ferreira;
PUBLISHED: 1994, SOURCE: Arch Math Logic - Archive for Mathematical Logic, VOLUME: 33, ISSUE: 4
63
TITLE: A feasible theory for analysis
AUTHORS: Fernando Ferreira;
PUBLISHED: 1994, SOURCE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 59, ISSUE: 03
AUTHORS: Fernando Ferreira;
PUBLISHED: 1994, SOURCE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 59, ISSUE: 03
64
TITLE: Polynomial time computable arithmetic
AUTHORS: Fernando Ferreira;
PUBLISHED: 1990, SOURCE: Logic and Computation - Contemporary Mathematics
AUTHORS: Fernando Ferreira;
PUBLISHED: 1990, SOURCE: Logic and Computation - Contemporary Mathematics
65
