Computational and mathematical logic.
This tag is used for Logic in Computer Science and Mathematical Logic questions, corresponding to cs.LO and math.Lo tags on arXive.
Stats
|
created |
8 years, 5 months ago |
|
viewed |
39 times |
|
editors |
1 |
Top Answerers
more »
Recent Hot Answers
Techniques for Reversing the Order of QuantifiersWhich interesting theorems in TCS rely on the Axiom of Choice? (Or alternatively, the Axiom of Determinacy?)
Extended Church-Turing Thesis
What is the logarithm or root operation in type-space?
How do 'tactics' work in proof assistants?
more »
