%0 Journal Article %A Leon Henkin %T Boolean representation trough propositional calculus %J Fundamenta Mathematicae %D 1955 %P 89-96 %V 41 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-41-1-89-96/ %R 10.4064/fm-41-1-89-96 %G en %F 10_4064_fm_41_1_89_96