This article is cited in 1 paper

MATHEMATICS

A criterion for functional completeness in classical first-order predicate logic

A. V. Kuznetsov, M. F. Raţă

Mathematics Institute, Computer Center, Academy of Sciences of the Moldavian SSR, Kishinev

UDC: 517.11:(51.01+519.95)

Presented: A. N. Kolmogorov
Received: 21.05.1979

Bibliographic databases:

• 
•