Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic

From Tetherless World Wiki

Jump to: navigation, search
 Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
Has publishing details  12(4):313-333, 2004
Has title  Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
Has where published  Logic Journal of the IGPL
Has year  2004
Has author  George Voutsadakis +
Has identifier  DBLP:journals/igpl/Voutsadakis04 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools