Chapter III. The Lawson Topology

pages 		 items 		 article 		 author(s) 




142-145 		 1.1-1.6 		 WAYBEL19 		 G. Bancerek


145-146 		 1.7-1.8 		 WAYBEL21 		 G. Bancerek


146-146 		 1.9-1.10 		 WAYBEL19 		 G. Bancerek


146-147 		 1.11 		 WAYBEL21 		 G. Bancerek


153-156 		 2.1-2.13 		 WAYBEL30 		 A. Korniowicz


156 		 2.16 		 WAYBEL30 		 A. Korniowicz


158-159 		 3.1-3.3 		 WAYBEL28 		 B. Skorulski


159 		 3.4-3.6 		 WAYBEL33 		 G. Bancerek, N. Endou


160-163 		 3.7-3.13 		 		 not done


168-169 		 4.1-4.4 		 WAYBEL23 		 R. Milewski


170-171 		 4.5-4.7 		 WAYBEL31 		 R. Milewski


171-175 		 4.8-4.17 		 		 not done

The formalization of Chapter IV of the CCL-book has begun recently and so far pp. 179-183, items 1.1-1.12 have been covered by G. Bancerek in WAYBEL34.