Authors: K.Kunen

Citation: K.kunen, Nonconstructive Computational Mathematics, Journal of automated reasoning , 21(1), 1998, pp. 69-97

Authors: K.Kunen

Citation: K.kunen, The Semantics of Answer Literals, Journal of automated reasoning , 17(1), 1996, pp. 83-96

Authors: K.Kunen

Citation: K.kunen, A Ramsey Theorem in Boyer-Moore Logic, Journal of automated reasoning , 15(2), 1995, pp. 217-235

Authors: K.Kunen

Citation: K.kunen, Single Axioms for Groups, Journal of automated reasoning , 9(3), 1992, pp. 291-308

Authors: J.Hart,K.Kunen

Citation: J.hart,k.kunen, Single Axioms for Odd Exponent Groups, Journal of automated reasoning , 14(3), 1995, pp. 383-412