Sites

Thoralf Skolem (1887-1963) (Popularity: )

Biography from MacTutor History of mathematics archive.

George Boole (Popularity: )

Biography from the MacTutor History of Mathematics archive.

The Bulletin of Symbolic Logic, December 1995 (Popularity: )

Contains obituary by H. B. Enderton.

The Modernity of Aristotle's Logical Investigations (Popularity: )

Article by George Boger, presented at the 20th World Congress in Philosophy.

David Hilbert (Popularity: )

Biography from the MacTutor History of Mathematics Archive.

The Semantic Conception of Truth (Popularity: )

Famous paper by Alfred Tarski (1944).

Alan Turing: Thinking Up Computers (Popularity: )

Profile of the groundbreaking Cambridge mathematician. [BusinessWeek]

Jan Lukasiewicz (Popularity: )

Short biography from Wikipedia.

Kurt Gödel (Popularity: )

Biography from the MacTutor History of Mathematics archive.

Godel's Theorems (Popularity: )

Godel's Incompleteness Theorem by Dale Myers.

Jan Lukasiewicz (Popularity: )

Summary of his life and work.

Post's Problem of Creativity (Popularity: )

An essay discussing some of Post's philosophical ideas in a biographic setting.

E.L. Post Manuscript Guide (Popularity: )

Notes on papers and correspondence by Post at the American Philosophical Society.

Gödel: A Life of Logic (Popularity: )

By John L. Casti and Werner DePauli. Book review of this biography.

Kurt Gödel (Popularity: )

A brief biography of the man.

Kurt Gödel in Blue Hill (Popularity: )

A brief account of Kurt Gödel's trip to Blue Hill, Maine, in the summer of ...

Kurt Gödel (Popularity: )

Portraits and photographs, including some of his family.

Charles S. Peirce Studies (Popularity: )

Web site devoted to the life and works of C. S. Peirce.

Church-Turing Thesis (Popularity: )

Article in the Stanford Encyclopedia.

Peirce's Logic (Popularity: )

Entry from the Stanford Encyclopedia.