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, 11 months ago |
|
viewed |
62 times |
|
editors |
1 |
Top Answerers
more »
Recent Hot Answers
Homotopy type theory and Gödel's incompleteness theoremsWhat was the original intent for the creation of Lambda calculus?
What are natural examples of non-relativizable proofs?
Symbolic Execution is a case of Abstract Interpretation?
Why was there a need for Martin-Löf to create intuitionistic type theory?
more »
