Analytic Natural Deduction Raymond M. Smullyan Journal ofSymboZic Logic, Volume 30, Issue 2 (Jun., 1965), 123-139. Stable URL: http://links.j stor. org/sici?sici=OO22-48…