Henkin-type semantics for program-schemes to turn negative results to positive

Hajnal Andréka, István Németi, Ildikó Sain. Henkin-type semantics for program-schemes to turn negative results to positive. In FCT. pages 18-24, 1979.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.