Cover Image
Read Now

1
Published 2007
Cambridge University Press
Table of Contents: “... Lipparini -- Universes in type theory part I : Inaccessibles and Mahlo / Anton Setzer -- Hausdorff-dimension...”