“Model-completeness of a theory and evaluation of formulas”
Algebra and Logic,
1990, Vol. 29, No. 1, pp. 10–22.
Go to publication
| Authors: Lyubetsky V. |
 |
|
||||||||||||||||||||||||||||||||||
| ðóññêèé | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2025
About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè