@article{BSL8_1_Tabakov,
author = {Martin TABAKOV},
title = {A Formal System without Well-Formed Formulas},
journal = {Bulletin of the Section of Logic},
volume = {8},
number = {1},
year = {1979},
pages = {27--29}
}