Concrete Quantum Logics