TY - BOOK AU - AU - AU - SN - 192/PAT/B U1 - : KW - BK N1 - BK; Contributions in logical atomism ER -