A. S. Kuzichev, “On the representation of first order theories in type-free combinatorially complete systems”, Dokl. Akad. Nauk SSSR, 1982, Volume 266, Number 1,Pages <nobr>23

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1982 Volume 266, Number 1, Pages 23–27 (Mi dan45548)

MATHEMATICS

On the representation of first order theories in type-free combinatorially complete systems

A. S. Kuzichev

Lomonosov Moscow State University

UDC: 517.12

Presented: A. N. Kolmogorov
Received: 21.02.1982

Fulltext: PDF file (697 kB)

Bibliographic databases: