狠狠撸

logic formal methods computer science category theory quantifiers boolean languages hierarchy first order pi calculus z notation monoids set theory proof lambda conditionals connectives santa clara university intuitionistic peano functions combinators zfc fsm stack machines algebra