Matches in Library of Congress for { <http://lccn.loc.gov/2007940495> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2007940495 contributor B11068407.
- 2007940495 contributor B11068408.
- 2007940495 created "c2008.".
- 2007940495 date "2008".
- 2007940495 date "c2008.".
- 2007940495 dateCopyrighted "c2008.".
- 2007940495 description "Includes bibliographical references and index.".
- 2007940495 description "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 -- Löwenheim-Skolem theorem, theories of quantification, and proof theory -- Reception of Gödel's incompleteness theorems -- Gödel's and some other examples of problem transmutation -- Development of self-reference : Löb's theorem -- Unintended interpretations of intuitionistic logic -- Writing of Introduction to metamathematics -- In memoriam : Haskell Brooks Curry -- Work of J. Richard Büchi.".
- 2007940495 extent "xxiii, 195 p. ;".
- 2007940495 identifier "0817647686".
- 2007940495 identifier "9780817647681".
- 2007940495 identifier 2007940495-d.html.
- 2007940495 identifier 2007940495-t.html.
- 2007940495 isPartOf "Modern Birkhäuser classics".
- 2007940495 issued "2008".
- 2007940495 issued "c2008.".
- 2007940495 language "eng".
- 2007940495 publisher "Boston : Birkhäuser,".
- 2007940495 subject "Logic, Symbolic and mathematical History.".
- 2007940495 subject "QA9 .P43 2008".
- 2007940495 tableOfContents "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 -- Löwenheim-Skolem theorem, theories of quantification, and proof theory -- Reception of Gödel's incompleteness theorems -- Gödel's and some other examples of problem transmutation -- Development of self-reference : Löb's theorem -- Unintended interpretations of intuitionistic logic -- Writing of Introduction to metamathematics -- In memoriam : Haskell Brooks Curry -- Work of J. Richard Büchi.".
- 2007940495 title "Perspectives on the history of mathematical logic / Thomas Drucker, editor.".
- 2007940495 type "text".