On some higher-order predicate calculi

Bulletin of the Section of Logic, Tom 7, Numer 2 (1978) s. 84
Elias H. Alves, Jose E. de Almeida Moura

 

do góry