http://www.computersight.com/Programming/Mathematical-and-Logical-Topics-for-Language-Paradigms.112325 Discussion about: Mathematical and Logical Topics for Language Paradigms