Logica Universalis Towards a General Theory of Logic - Beziau, Jean-Yves.; SpringerLink (Online service) (Basel : Birkhäuser Basel, 2005)
Keywords: Mathematics; Computer science; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Arithmetic and Logic Structures