On the consistency and independence of a system of axioms of the propositional calculus
Bull. Korean Math. Soc. 1967 Vol. 4, No. 1, 25-27
Byung Ho Han
Keywords :
Full-Text :

   

Copyright © Korean Mathematical Society. All Rights Reserved.
The Korea Science Technology Center (Rm. 411), 22, Teheran-ro 7-gil, Gangnam-gu, Seoul 06130, Korea
Tel: 82-2-565-0361  | Fax: 82-2-565-0364  | E-mail: paper@kms.or.kr   | Powered by INFOrang Co., Ltd