A zero-one law for many-sorted first-order predicate logic

V. V. Knyazev


UDC: 510.635+519.11

Received: 21.11.1989

 English version: Discrete Mathematics and Applications, 1992, 2:2, 219–223

Bibliographic databases:

• 
•