TY - CONF TI - Effective computations in analysis AU - Σκανδαλίδης, Κώστας PY - 1997 SP - 337-339 PB - Πανεπιστήμιο Κύπρου T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά ER -