Find link
language:
jump to random article
Find link is a tool written by Edward Betts.
searching for Thoralf Skolem 1 found (181 total)
alternate case: thoralf Skolem
Robert Shostak
(1,854 words)
[view diff]
exact match in snippet
view article
find links to article
through his collaboration with Kenneth Kunen. Shostak received the Thoralf Skolem Award for "Deciding Combinations of Theories" Shostak is a brother of