FUNDAMENTALNAYA
I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

1999, VOLUME 5, NUMBER 2, PAGES 417-435

**A two-sorted theory of classes and sets, admitting sets of
propositional formulas**

V. K. Zakharov

A. V. Mikhalev

Abstract

View as HTML
View as gif image
View as LaTeX source

All articles are
published in Russian.

Location: http://mech.math.msu.su/~fpm/eng/99/992/99205g.htm

Last modified: July 6, 1999