The author is a professor of mathematical logic and the foundations of mathematics. Besides treatment of earlier literature, this bibliography includes many lesser known 20th century works.
The author is a professor of mathematical logic and the foundations of mathematics. Besides treatment of earlier literature, this bibliography includes many lesser known 20th century works.