Please fill in your query. A complete syntax description you will find on the General Help page.
Deductive capabilities of negationless predicate calculus. (English)
Mosc. Univ. Math. Bull. 39, No.4, 1-4 (1984); translation from Vestn. Mosk. Univ., Ser. I 1984, No.4, 3-5 (1984).
In the paper deductive relationships between selected negationless predicate calculi are investigated.
Reviewer: Z.Stachniak
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX
Valid XHTML 1.0 Transitional Valid CSS!