AB29.3.1

AB29.3.1 S. Igarishi: Comments on the formal treatment of types including sets, page 12-15

Page 12

Page 13

Page 14

Page 15