Neil Thapen
- The strength of replacement in weak arithmetic
2004/09/08 by Stephen Cook, Cook, Stephen, Neil Thapen +1 · 2 citations
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #FOS: Computer and information sciences #History and Theory of Mathematics #Logic in Computer Science (cs.LO) #Mathematical and Theoretical Analysis #cs.CC #cs.LO