1999年 Propositional Calculus for Boolean Valued Funct-ions, II Formalized Mathematics 巻 Vol.8, No.1, pp.115-117 号 エクスポート BibTeX RIS