Is algebraic logic inactive?
I mean the research developed by Paul Halmos.If so ,why?And anyone could give some reference for overview of it's history?
Is algebraic logic inactive?
I mean the research developed by Paul Halmos.If so ,why?And anyone could give some reference for overview of it's history?