C. G. McKay

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1985

3 C. G. McKay: A Consistent Propositional Logic Without any Finite Models. J. Symb. Log. 50(1): 38-41 (1985)

1971

2 C. G. McKay: A Class of Decidable Intermediate Propositional Logics. J. Symb. Log. 36(1): 127-128 (1971)

1968

1 C. G. McKay: The Decidability of Certain Intermediate Propositional Logics. J. Symb. Log. 33(2): 258-264 (1968)

	1985
3		C. G. McKay: A Consistent Propositional Logic Without any Finite Models. J. Symb. Log. 50(1): 38-41 (1985)
	1971
2		C. G. McKay: A Class of Decidable Intermediate Propositional Logics. J. Symb. Log. 36(1): 127-128 (1971)
	1968
1		C. G. McKay: The Decidability of Certain Intermediate Propositional Logics. J. Symb. Log. 33(2): 258-264 (1968)