TY - JOUR AU - Lawrence Neff Stout TI - Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory. JO - Manuscripta mathematica PY - 1979 SP - 379 EP - 404 VL - 28 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MM2_1979__28_154645/ ID - MM2_1979__28_154645 ER -