Non-existence of a countable strongly adequate matrix semantics for neighbours of E

Bulletin of the Section of Logic, Tom 10, Numer 4 (1981) s. 170-176
Wiesław Dziobiak

 

do góry