Selected works in logic - Skolem Thoralf; Fenstad J E (Oslo Universi Testsforlaget, 1970)
Keywords: Mathewmatical Logic; Symbolic