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.
About
Stats
|
created |
10 years, 5 months ago |
|
viewed |
61 times |
|
editors |
1 |
Top Answerers
more »
Recent Hot Answers
What is the logarithm or root operation in type-space?Homotopy type theory and Gödel's incompleteness theorems
How can we express “$P=PSPACE$” as a first-order formula?
What was the original intent for the creation of Lambda calculus?
What are natural examples of non-relativizable proofs?
more »
