G. E. Puninskii, “A finite system of axioms for the model companion of the theory of all multitrees”, Diskr. Mat., 1990, Volume 2, Issue 4,Pages <nobr>3

JOURNALS // Diskretnaya Matematika // Archive

Diskr. Mat., 1990 Volume 2, Issue 4, Pages 3–10 (Mi dm880)

A finite system of axioms for the model companion of the theory of all multitrees

G. E. Puninskii

UDC: 510.67

Received: 26.11.1988

Bibliographic databases: