25,161
edits
Changes
no edit summary
**** [https://en.wikipedia.org/wiki/Arend_Heyting Arend Heyting (1898 - 1980)] [https://genealogy.math.ndsu.nodak.edu/id.php?id=45623 ¶] ([https://en.wikipedia.org/wiki/University_of_Amsterdam University of Amsterdam])
***** [https://en.wikipedia.org/wiki/Dirk_van_Dalen Dirk van Dalen (1932)] [https://genealogy.math.ndsu.nodak.edu/id.php?id=45022 ¶] ([https://en.wikipedia.org/wiki/University_of_Amsterdam University of Amsterdam])
****** <span id="JvLeeuwen"></span>[https://en.wikipedia.org/wiki/Jan_van_Leeuwen Jan van Leeuwen (1946)] [https://genealogy.math.ndsu.nodak.edu/id.php?id=66017 ¶] ([https://en.wikipedia.org/wiki/Utrecht_University Utrecht University]) » <span style="background-color: #ffffac;">[[Alan Turing]]</span>
******* <span id="APWBohm"></span>[http://www.cs.colostate.edu/~bohm/ A. P. Wim Böhm] [https://genealogy.math.ndsu.nodak.edu/id.php?id=84625 ¶] ([https://en.wikipedia.org/wiki/Utrecht_University Utrecht University])
******* <span id="Wijshoff"></span>[http://www.cs.uu.nl/staff/wijshoff.html Harry A. G. Wijshoff] [https://genealogy.math.ndsu.nodak.edu/id.php?id=84560 ¶] ([https://en.wikipedia.org/wiki/Utrecht_University Utrecht University])
****** <span id="TKhabaza"></span>[https://www.linkedin.com/in/tomkhabaza Thomas Khabaza] [https://genealogy.math.ndsu.nodak.edu/id.php?id=102690 ¶] ([https://en.wikipedia.org/wiki/University_of_Sussex University of Sussex]) « <span style="background-color: #ccccff;">[[#ASloman|Aaron Sloman]]</span>
***** <span style="background-color: #ccffcc;">[[#EFMorales|Eduardo F. Morales]]</span> (M.Sc.)
**** <span id="SBCooper"></span>[https://en.wikipedia.org/wiki/S._Barry_Cooper S. Barry Cooper (1943 - 2015)] [https://genealogy.math.ndsu.nodak.edu/id.php?id=80788 ¶] ([https://en.wikipedia.org/wiki/University_of_Leicester University of Leicester]) » <span style="background-color: #ffffac;">[[Alan Turing]]</span>
**** [https://en.wikipedia.org/wiki/Martin_L%C3%B6b Martin Hugo Löb (1921 - 2006)] [https://genealogy.math.ndsu.nodak.edu/id.php?id=42265 ¶] ([https://en.wikipedia.org/wiki/University_of_London University of London])
***** [https://en.wikipedia.org/wiki/Johan_van_Benthem_%28logician%29 Johan van Benthem (1949)] [https://genealogy.math.ndsu.nodak.edu/id.php?id=49682 ¶] ([https://en.wikipedia.org/wiki/University_of_Amsterdam University of Amsterdam])
