TY - JOUR AU - Skura, Tomasz F. IS - 4 JA - Journal of Applied Non-Classical Logics PB - Taylor & Francis Group PY - 2005 TI - Intuitionistic Socratic procedures VL - 15 ER -