Earlier this month, 36 sharp-witted high school students from around the globe stepped foot on the warm and breezy campus of ...

But computer science practitioners need to reason all the time: about algorithms, code, distributed systems, security protocols, and so on.

Cuts, Consistency Statements and Interpretations, The Journal of Symbolic Logic, Vol. 50, No. 2 (Jun., 1985), pp. 423-441 ...