logic philosophy-of-mathematics formal-theory asked Jul 19 '12 at 0:37

logic elementary-set-theory philosophy higher-order-logic asked Jul 28 '12 at 19:32

mathematical-physics theory asked Jul 25 '12 at 5:14

logic computer-science model-theory higher-order-logic asked Jul 29 '12 at 20:08

logic computability asked Aug 29 '12 at 6:11