Edition |
1st ed. |
Description |
1 online resource (xi, 468 pages) : illustrations |
|
text txt rdacontent |
|
computer c rdamedia |
|
online resource cr rdacarrier |
|
text file rdaft http://rdaregistry.info/termList/fileType/1002. |
Series |
Studies in the history and philosophy of mathematics, 0928-2017 ; v. 4 |
|
Studies in the history and philosophy of mathematics ; v. 4. 0928-2017
|
Summary |
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 Schröder, Leopold Löwenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic. |
Contents |
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. Schröder's Calculus of Relatives -- 8. Löwenheim's Contribution -- 9. Skolem's Recasting -- Appendices. Bibliography. Index. |
Bibliography |
Includes bibliographical references (pages 445-459) and index. |
Note |
Print version record. |
Subject |
Logic, Symbolic and mathematical -- History -- 19th century.
|
|
Logic, Symbolic and mathematical -- History -- 20th century.
|
|
Logique symbolique et mathématique -- Histoire -- 19e siècle.
|
|
Logique symbolique et mathématique -- Histoire -- 20e siècle.
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
Logic, Symbolic and mathematical
|
Chronological Term |
1800-1999
|
Genre/Form |
History
|
Other Form: |
Print version: Brady, Geraldine. From Peirce to Skolem. 1st ed. Amsterdam ; New York : North-Holland/Elsevier Science BV, 2000 044450334X 9780444503343 (DLC) 00050392 (OCoLC)45166707 |
ISBN |
9780444503343 |
|
044450334X |
|
0080532020 (electronic bk.) |
|
9780080532028 (electronic bk.) |
Standard No. |
(WaSeSS)ssj0000158932 |
|
AU@ 000048131111 |
|
AU@ 000062578260 |
|
CHNEW 001005962 |
|
DEBBG BV036962278 |
|
DEBBG BV039830146 |
|
DEBBG BV042317292 |
|
DEBSZ 306802899 |
|
DEBSZ 482353643 |
|
NZ1 12433132 |
|
NZ1 15192852 |
|