Logical foundations of quantum mechanics; quantum logic General and foundational topics mathematics