 | 2009 |
|---|
| 5 |       | Charles McCarty:
Two questions from Dana Scott: Intuitionistic topologies and continuous functions.
J. Symb. Log. 74(2): 689-692 (2009) |
| 2008 |
|---|
| 4 | | Charles McCarty:
Completeness and incompleteness for intuitionistic logic.
J. Symb. Log. 73(4): 1315-1327 (2008) |
| 1988 |
|---|
| 3 |  | Charles McCarty:
Constructive Validity is Nonarithmetic.
J. Symb. Log. 53(4): 1036-1041 (1988) |
| 2 | | Charles McCarty:
Markov's Principle, Isols and Dedekind Finite Sets.
J. Symb. Log. 53(4): 1042-1069 (1988) |
| 1983 |
|---|
| 1 | | Charles McCarty:
Information Systems, Continuity and Realizability.
Logic of Programs 1983: 341-259 |
Data released under the ODC-BY 1.0 license — See also our legal information page