Next: An historical survey of Up: No Title Previous: No Title
Isomorphisms of Types and
Tarski's High School Algebra Problem
For more details, see the book on Type Isomorphisms
Roberto Di Cosmo
Mon Aug 30 11:21:44 MET DST 1999