Robert C. Flagg

Church's Thesis is Consistent with Epistemic Arithmetic

Robert C. Flagg, R. Flagg, 1985 .

The essence of ideal completion in quantitative form

Robert C. Flagg, Philipp Sünderhauf, 2002, Theor. Comput. Sci..

Integrating classical and intuitionistic type theory

Robert C. Flagg, 1986, Ann. Pure Appl. Log..

On the independence of the Bigos-Kalmár axioms for sentential calculus

Robert C. Flagg, 1978, Notre Dame J. Formal Log..

Implication and analysis in classical frege structures

Robert C. Flagg, John J. Myhill, R. Flagg, 1987, Ann. Pure Appl. Log..

K-continuous lattices and comprehension principles for frege structures

Robert C. Flagg, R. Flagg, 1987, Ann. Pure Appl. Log..

Papers on general topology and applications : eleventh summer conference at the University of Southern Maine

Ralph Kopperman, Robert C. Flagg, Susan Andima, 1996 .