1592

Thomas Drucker, editor

Birkhuser

c2008

xxiii, 195 p.

Modern Birkhuser classics

Most papers given originally at a session at the American Mathematical Society's meeting in Chicago in March 1985. , "Reprint of the 1991 edition"--T. p. , Contains title pages for 2008 ed. and 1991 ed. , Includes bibliographical references and index , Problem of elimination in the algebra of logic -- Peirce and the law of distribution -- First Russell paradox -- Principia mathematica and the development of automated theorem proving -- Oswald Veblen and the origins of mathematical logic at Princeton -- Lwenheim-Skolem theorem, theories of quantification, and proof theory -- Reception of Gdel's incompleteness theorems -- Gdel's and some other examples of problem transmutation -- Development of self-reference : Lb's theorem -- Unintended interpretations of intuitionistic logic -- Writing of Introduction to metamathematics -- In memoriam : Haskell Brooks Curry -- Work of J. Richard Bchi.

Drucker, Thomas , American Mathematical Society

QA

9

.P43

2008