| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| 10.1007/BF00485047 | Synthese |
| 1975 | |
| Tonk, Plonk and Plink | Analysis |
| 101 | 1961–1962 |
| The Runabout Inference-Ticket | Analysis |
| 151 | 1960 |
| Dummett on a Theory of Meaning and its Impact on Logic | 1987 | |||
| The Elements of Intuitionism | 1977 |