Löb's theorem (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Löb's theorem" in English language version.

refsWebsite

Global rank English rank

2^nd place

11^th place

8^th place

26^th place

20^th place

low place

1,185^th place

840^th place

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.

Löb 1955. Löb, Martin (1955). "Solution of a Problem of Leon Henkin". Journal of Symbolic Logic. 20 (2): 115–118. doi:10.2307/2266895. JSTOR 2266895. S2CID 250348262.
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.
Lindström 2006. Lindström, Per (June 2006). "Note on Some Fixed Point Constructions in Provability Logic". Journal of Philosophical Logic. 35 (3): 225–230. doi:10.1007/s10992-005-9013-8. S2CID 11038803.

Neel, Krishnaswami (9 May 2016). "Löb's theorem is (almost) the Y combinator". Semantic Domain. Retrieved 9 April 2024.