レーブの定理 (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "レーブの定理" in Japanese language version.

refsWebsite

Global rank Japanese rank

1semantic-domain.blogspot.com

low place

low place

1,185^th place

2,667^th place

2^nd place

6^th place

acm.org

dl.acm.org

Smullyan 1986. Smullyan, Raymond M. (1986). "Logicians who reason about themselves". Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge, Monterey (CA). San Francisco (CA): Morgan Kaufmann Publishers Inc. pp. 341–352. doi:10.1016/B978-0-934613-04-0.50028-4. ISBN 9780934613040。

doi.org

Smullyan 1986. Smullyan, Raymond M. (1986). "Logicians who reason about themselves". Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge, Monterey (CA). San Francisco (CA): Morgan Kaufmann Publishers Inc. pp. 341–352. doi:10.1016/B978-0-934613-04-0.50028-4. ISBN 9780934613040。

semantic-domain.blogspot.com

“Löb's theorem is (almost) the Y combinator”. Semantic Domain. 9 April 2024閲覧。