JKMS
pISSN 0304-9914
eISSN 2234-3008
Download to citation(s)
Han BH.
On the consistency and independence of a system of axioms of the propositional calculus
. J. Korean Math. Soc. 1967;4:25-27.
Export type
* Please select a format and type blew.
Citation
Citation + Abstract
Format
EndNote
Reference Manager
RIS Format
Plain Text