JPRS (series). 2667. Some conditions for completeness in countable-value logic, USSR (with bibliography); by G. P. Gavrilev.

Tools