Finite-variable logics do not have weak beth definability property

Hajnal Andréka, István Németi

pp. 125-133


This document is unfortunately not available for download at the moment.

Not implemented yet !