Logica Universalis Towards a General Theory of Logic - Beziau, Jean-Yves.; SpringerLink (Online service) (Basel : Birkhauser Verlag, 2005)
Keywords: Logic, Symbolic and mathematical; Model theory; Mathematics; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Arithmetic and Logic Structures