Weak Elimination of Quantifiers and Cotheories

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71958-x ◽

1975 ◽

pp. 395-398 ◽

Author(s):

Paul Henrard

Download Full-text