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 |
11 years, 11 months ago |
|
viewed |
63 times |
|
editors |
1 |
Top Answerers
more »
Recent Hot Answers
What was the original intent for the creation of Lambda calculus?Why was there a need for Martin-Löf to create intuitionistic type theory?
Decidability of diophantine equations over {=, +, gcd}
Why do constructivists not seem to care too much about call/cc
Do past time LTL and future time LTL have the same expressiveness?
more »