|
A finite system of axioms for the model companion of the theory of all multitrees
G. E. Puninskii
Received: 26.11.1988
Citation:
G. E. Puninskii, “A finite system of axioms for the model companion of the theory of all multitrees”, Diskr. Mat., 2:4 (1990), 3–10
Linking options:
https://www.mathnet.ru/eng/dm880 https://www.mathnet.ru/eng/dm/v2/i4/p3
|
|