×

Some variants of the notion of realizability for predicate formulas. (English) Zbl 0414.03038


MSC:

03F55 Intuitionistic mathematics
03B10 Classical first-order logic
Full Text: DOI