first-order-logic Questions
11 | Last 7 Days | 36.4% unanswered |
39 | Last 30 Days | 41% unanswered |
5,573 | All Time | 20.9% unanswered |
Top first-order-logic Answerers
Top first-order-logic Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
first-order-logic × 12477logic × 6811
quantifiers × 1191
model-theory × 1155
discrete-mathematics × 774
propositional-calculus × 760
logic-translation × 428
set-theory × 365
solution-verification × 336
natural-deduction × 327
elementary-set-theory × 308
formal-proofs × 219
proof-writing × 218
peano-axioms × 166
proof-theory × 146
incompleteness × 127
axioms × 126
notation × 124
proof-explanation × 122
definition × 95
foundations × 90
formal-languages × 84
reference-request × 82
satisfiability × 82
induction × 75