Mathematical introduction to logic - Enderton Herbert B (San Diego Academic Press, 2001)
Index 311-317p.
Keywords: Logic theory; Mathematics