Thoralf Skolem was born on May 23, 1887.

Thoralf Skolem was born on May 23, 1887.

Thoralf Skolem died on 1963-03-23.

Herman Ruge Jervell has written:

'On Skolem and Herbrand theorems for intuitionistic logic' -- subject(s): Intuitionistic mathematics, Predicate calculus

'Herbrand and Skolem theorems in infinitary languages' -- subject(s): Infinitary languages

'An Herebrand [i.e. Herbrand] theorem for higher order logic' -- subject(s): Predicate calculus

h e l l o