Lambda

195
reputation

My interests lie in Mathematical Logic, and Computability theory.