 connectives: sentence connectives in formal logic |  epsilon calculus |  logic: classical |  logic: free |  logic: intuitionistic |  logic: modal |  logic: relevance |  logic: substructural |  proof theory |  proof theory: development of 