Marcin Mostowski
(1980-1989)
XThe relational semantics for branched quantifiers
1987
in: Mathematical logic and its applications, Dordrecht : Springer
(1980-1989)
XThe relational semantics for branched quantifiers
1987
in: Mathematical logic and its applications, Dordrecht : Springer