@article{BSL2_1_Smirnov,
author = {Vladimir A. SMIRNOV},
title = {An Absolute First Order Predicate Calculus},
journal = {Bulletin of the Section of Logic},
volume = {2},
number = {1},
year = {1973},
pages = {38--45}
}