Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory. Lawrence Neff Stout (1979) Manuscripta mathematica