Stanford University

Description: Stanford University is one of the world's leading research and teaching institutions. It is located in Palo Alto, California.

Keywords: university, research, undergraduate research, graduate research, humanities, sciences, earth sciences, business, law, engineering, medicine, education, california, palo alto

Stanford.edu has 1,431 URLs listed in 1,077 Dmoz categories.

Peirce, Benjamin (1809-1880)
Life and work of 19th century mathematician and philosopher of mathematics; by Ivor Grattan-Guinness and Alison Walsh.
http://plato.stanford.edu/entries/peirce-benjamin/
Top/Science/Math/History/People

Classical Logic
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
http://plato.stanford.edu/entries/logic-classical/
Top/Science/Math/Logic_and_Foundations

Church-Turing Thesis
Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
http://plato.stanford.edu/entries/church-turing/
Top/Science/Math/Logic_and_Foundations/Computability

Automated Reasoning
Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
http://plato.stanford.edu/entries/reasoning-automated/
Top/Science/Math/Logic_and_Foundations/Computational_Logic/Automated_Reasoning

Logic Software from CSLI
Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy
http://www-csli.stanford.edu/hp/
Top/Science/Math/Logic_and_Foundations/Education

Disjunction
Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
http://plato.stanford.edu/entries/disjunction/
Top/Science/Math/Logic_and_Foundations/Education

Logic and Games
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
http://plato.stanford.edu/entries/logic-games/
Top/Science/Math/Logic_and_Foundations/Game_Semantics

Medieval Theories of Analogy
Entry in the Stanford Encyclopaedia of Philosophy, by E. Jennifer Ashworth.
http://plato.stanford.edu/entries/analogy-medieval/
Top/Science/Math/Logic_and_Foundations/History

Medieval Theories of Modality
Article at the Stanford Encyclopaedia of Philosophy.
http://plato.stanford.edu/entries/modality-medieval/
Top/Science/Math/Logic_and_Foundations/History

Square of Opposition
Article in the Stanford Encyclopaedia of Philosophy, by Terence Parsons.
http://plato.stanford.edu/entries/square/
Top/Science/Math/Logic_and_Foundations/History