@article{BSL20_1_Suchon,
author = {Wojciech SUCHO{\'N}},
title = {Counting Formulae of Propositional Calculus},
journal = {Bulletin of the Section of Logic},
volume = {20},
number = {1},
year = {1991},
pages = {10--13}
}