Գրեք սա: Logic Colloquium '77 :