The following pages link to Robert C. Flagg (Q580340):
Displaying 13 items.
- Integrating classical and intuitionistic type theory (Q580341) (← links)
- Epistemic and intuitionistic formal systems (Q580343) (← links)
- (Q920073) (redirect page) (← links)
- A framework for measuring the complexity of mathematical concepts (Q920074) (← links)
- Maximality in modal logic (Q1092032) (← links)
- Implication and analysis in classical Frege structures (Q1095139) (← links)
- \(\kappa\)-continuous lattices and comprehension principles for Frege structures (Q1104320) (← links)
- Implementation of new iterative techniques for solutions of Thomas-Fermi and Emden-Fowler equations (Q1151008) (← links)
- On the independence of the Bigos-Kalmar axioms for sentential calculus (Q1241437) (← links)
- The essence of ideal completion in quantitative form (Q1605177) (← links)
- (Q3137152) (← links)
- (Q3737423) (← links)
- Epistemic set theory is a conservative extension of intuitionistic set theory (Q3758827) (← links)
