…ing. Ann. Rev. Comput. Sci. 1987.2: 147-86. 67 ¨ Thoralf Skolem. 1928. Uber die mathematische Logik (Nach einem Vortrag gehalten im Norwegischen Math- ematischen Verein am 22. Oktober 1928). In Selected Works in Logic. Jens Erik Fenstad, ed. Universitets- forlaget, Oslo - Bergen …