About APT K R
About Erasmus Univ. Rotterdam, The Netherlands
About Van EMDEN M H
About Univ. Waterloo, Canada
About Journal of the Association for Computing Machinery
About predicative logic
About Theory of computation
About 論理プログラミング
About 理論