Materna, Pavel. (Nombre personal)

Machine generated authority record.

Work cat.: (MX-SnUAN)312454: Duží, Marie. autor 354155, Procedural Semantics for Hyperintensional Logic :