H. P. Grice, "Communicatum and recursion"

Skolem, Thoralf, 1923, “Begründung Der Elementaren Arithmetik Durch Die Rekurrierende Denkweise Ohne Anwendung Scheinbarer Veranderlichen Mit Unendlichem Ausdehnungsbereich”, Videnskapsselskapets Skrifter, I. Matematisk-Naturvidenskabelig Klasse, 6: 1–38. –––, 1946, “The development of recursive arithmetic” In Dixíeme Congrés des Mathimaticiens Scandinaves, Copenhagen, 1–16. Reprinted in Skolem 1970, pp. 499–415. –––, 1970, Selected Works in Logic Olso: Universitetsforlaget. Edited by J.E. Fenstad.