Paul Lorenzen
- Algebraic and logistic investigations on free lattices
2017/10/23 by Paul Lorenzen, Lorenzen, Paul · 1 citation
Computer Science · #01A60 #03-03 #03F05 #03F25 #03F65 #03G10 #06-03 #06A12 #06B25 #06D05 #06E05 #06E10 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems