Juan Manuel Santiago Suárez


Université de Paris
FRANCE

Boolean valued semantics for infinitary logics
abstract, slides