@article{oai:ynu.repo.nii.ac.jp:00006457,
 author = {Reichbach, Juliusz},
 journal = {Yokohama Mathematical Journal = 横濱市立大學紀要. D部門, 数学},
 month = {},
 note = {application/pdf},
 pages = {11--30},
 title = {ON CHARACTERIZATIONS AND UNDECIDABILITY OF THE FIRST-ORDER FUNCTIONAL CALCULUS},
 volume = {13},
 year = {1965}
}