@article{weko_6853_1, author = "小野,寛晰", title = "数理論理学(3)", journal = "情報処理", year = "1979", volume = "20", number = "11", month = "nov" }