Lambda

260
reputation
2
12

My interests lie in Mathematical Logic, and Computability theory.