TY - JOUR AU - Kulicki, Piotr IS - 1/2 JA - Buletin of the Section of Logic PY - 2010 TI - Hallden incomplete calculus of names VL - 39 ER -