The following pages link to David Charles McCarty (Q1182689):
Displayed 10 items.
- Polymorphism and apartness (Q1182690) (← links)
- Incompleteness in intuitionistic metamathematics (Q1182705) (← links)
- (Q1333318) (redirect page) (← links)
- On theorems of Gödel and Kreisel: Completeness and Markov's principle (Q1333319) (← links)
- Undecidability and intuitionistic incompleteness (Q1815411) (← links)
- Optics of thought: Logic and vision in Müller, Helmholtz, and Frege (Q1860972) (← links)
- Intuitionistic completeness and classical logic (Q1882403) (← links)
- (Q4397034) (← links)
- (Q4485694) (← links)
- (Q4663852) (← links)