Introduction to set theory - Hrbacek, Karel, 1944- (Pure and applied mathematics ;, 1999)