Kuyper, Rutger
- First-order logic in the Medvedev lattice
2014/08/22 by Rutger Kuyper, Kuyper, Rutger · 1 citation
Computer Science · #03B20 #03D30 #03G30 #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge