C. G. McKay

Swedish Signal Intelligence 1900-1945

Bengt Beckman, C. G. McKay, 2002 .

On Finite Logics

C. G. McKay, 1967 .

Intermediate propositional logics

C. G. McKay, 1969 .

The decidability of certain intermediate propositional logics

Craig Graham McKay, C. G. McKay, 1968, Journal of Symbolic Logic.

Some completeness results for intermediate propositional logics

Craig Graham McKay, C. G. McKay, 1967, Notre Dame J. Formal Log..

Implicationless wffs. in IC

Craig Graham McKay, C. G. McKay, 1967, Notre Dame J. Formal Log..