Lambda

270
reputation
2
12

My interests lie in Mathematical Logic, and Computability theory.