On minimal models for pure calculi of names

Logic and Logical Philosophy, Tom 22, Numer 4 (2013) s. 429-443
Piotr Kulicki

 

do góry