A generalization of elementary formal systems
Volume 9 / 1982
Banach Center Publications 9 (1982), 89-96
DOI: 10.4064/-9-1-89-96
