Title: Logic And Foundations Of Mathematics  Dedicated to Prof. A. Heyting on His 70th Birthday