This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schroeder, Leopold Loewenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.
Rezensionen / Stimmen
M. GuillaumeThe book is well written, and written for a ;arge audience. Many very detailed explanations of terminology, notation and proof techniques in the quotations of historicl texts are given.....Mathematical Reviews
Reihe
Sprache
Verlagsort
Verlagsgruppe
Elsevier Science & Technology
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Gewicht
ISBN-13
978-0-444-50334-3 (9780444503343)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Autor*in
Department of Computer Science, University of Chicago, 1100 E 58th Street, Chicago, IL 60637 USA
Introduction. 1. The Early Work of Charles S. Peirce 2. Peirce's Calculus of Relatives: 1870 3. Peirce on the Algebra of Logic: 1880 4. Mitchell on a New Algebra of Logic: 1883 5. Peirce on the Algebra of Relatives: 1883 6. Peirce's Logic of Quantifiers: 1885 7. Schroeder's Calculus of Relatives 8. Loewenheim's Contribution 9. Skolem's Recasting Appendices. Bibliography. Index.
