Logica Universalis - Beziau, Jean-Yves., editor (Basel Birkhäuser Basel, 2007)
Mathematics and Statistics (Springer-11649)
Keywords: Logic, Symbolic and mathematical; Arithmetic and Logic Structures; Computer science; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Mathematics; Mathematics