@article{1183731921, author = {Kalicki, Jan}, title = {An Undecidable Problem in the Algebra of Truth-Tables}, journal = {J. Symbolic Logic}, volume = {19}, number = {1}, year = {1954}, pages = { 172-176}, language = {en}, url = {http://dml.mathdoc.fr/item/1183731921} }
Kalicki, Jan. An Undecidable Problem in the Algebra of Truth-Tables. J. Symbolic Logic, Tome 19 (1954) no. 1, pp. 172-176. http://gdmltest.u-ga.fr/item/1183731921/