@article{oai:ynu.repo.nii.ac.jp:00006471, author = {Reichbach, Juliusz}, issue = {2}, journal = {Yokohama Mathematical Journal = 横濱市立大學紀要. D部門, 数学}, month = {}, note = {application/pdf}, pages = {35--43}, title = {SOME METHODS OF FORMAL PROOFS II : Generalization of the satisfiability definition}, volume = {15}, year = {1967} }