Finite Set Theory And Logic