University of St Andrews - Scotland's first university, founded 1413

Description: University of St Andrews - Scotland's first University

St-and.ac.uk has 207 URLs listed in 160 Dmoz categories.

David Hilbert
Biography from the MacTutor History of Mathematics Archive.
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Hilbert.html
Top/Science/Math/Logic_and_Foundations/History/People/Hilbert,_David

Jan Lukasiewicz
Biography from the MacTutor History of Mathematics archive.
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Lukasiewicz.html
Top/Science/Math/Logic_and_Foundations/History/People/Lukasiewicz,_Jan

Charles S. Peirce
Biography from the MacTutor History of Mathematics archive.
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Peirce_Charles.html
Top/Science/Math/Logic_and_Foundations/History/People/Peirce,_Charles_Sanders

Emil Post
Biography of Emil Leon Post (1897-1954).
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Post.html
Top/Science/Math/Logic_and_Foundations/History/People/Post,_Emil_L.

Thoralf Skolem (1887-1963)
Biography from MacTutor History of mathematics archive.
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Skolem.html
Top/Science/Math/Logic_and_Foundations/History/People/Skolem,_Thoralf

Alfred Tarski
Biography from MacTutor History of Mathematics archive.
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Tarski.html
Top/Science/Math/Logic_and_Foundations/History/People/Tarski,_Alfred

Alan Turing
Biography from the MacTutor History of Mathematics archive.
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Turing.html
Top/Science/Math/Logic_and_Foundations/History/People/Turing,_Alan_Mathison

Ernst Zermelo
Biography from the MacTutor History of Mathematics archive.
http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Zermelo.html
Top/Science/Math/Logic_and_Foundations/History/People/Zermelo,_Ernst

University of St. Andrews
Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.
http://www.dcs.st-and.ac.uk/~rd/logic.html
Top/Science/Math/Logic_and_Foundations/Institutions/Europe/United_Kingdom

TABLEAUX 2000
Automated Reasoning with Analytic Tableaux and Related Methods. Held in conjunction with the International Workshop on First-Order Theorem Proving. University of St Andrews, Scotland; 4--7 July 2000. Tutorial notes, photos.
http://www.dcs.st-and.ac.uk/~tab2000/
Top/Science/Math/Logic_and_Foundations/Meetings/Past_Conferences