References
V. G. Kirin,On free and independent terms of a formula,Glasnik matematički, vol. 10 (30) (1975), pp. 207–218.
Author information
Authors and Affiliations
Additional information
Allatum est die 6 Januarii 1978
Rights and permissions
About this article
Cite this article
Kirin, V.G. A semantic characterization of terms free for some variable in a formula. Stud Logica 37, 337–340 (1978). https://doi.org/10.1007/BF02176166
Issue Date:
DOI: https://doi.org/10.1007/BF02176166