On a modal-type language for the predicate calculus

Bulletin of the Section of Logic, Tom 13, Numer 3 (1984) s. 111-119
Dimiter Skordev

 

do góry