Intermediate predicate logic without the Beth property

P. A. Schreiner

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

UDC: 510.64

Received: 06.07.1996

 English version: DOI: 10.1007/BF02684086

Bibliographic databases:

•