From Peirce to Skolem : a neglected chapter in the history of logic /
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�oder, Leopold L�owenheim, and Thoralf Skolem. As far as we know, this book is the first work delineatin...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; New York :
North-Holland/Elsevier Science BV,
2000.
|
Edición: | 1st ed. |
Colección: | Studies in the history and philosophy of mathematics ;
v. 4. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
LEADER | 00000cam a2200000 a 4500 | ||
---|---|---|---|
001 | SCIDIR_ocn162131210 | ||
003 | OCoLC | ||
005 | 20231117014855.0 | ||
006 | m o d | ||
007 | cr cn||||||||| | ||
008 | 070802s2000 ne a ob 001 0 eng d | ||
040 | |a OPELS |b eng |e pn |c OPELS |d DEBSZ |d OPELS |d OCLCQ |d MERUC |d N$T |d YDXCP |d IDEBK |d E7B |d TULIB |d OCLCO |d OCLCQ |d OPELS |d OCLCF |d DEBBG |d OCLCQ |d OCL |d OCLCQ |d STF |d D6H |d OCLCQ |d LEAUB |d OL$ |d BWN |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ | ||
019 | |a 174132392 |a 175314475 |a 441800249 |a 647654899 |a 779919700 |a 989414429 |a 1035681777 |a 1110241768 | ||
020 | |a 9780444503343 | ||
020 | |a 044450334X | ||
020 | |a 0080532020 |q (electronic bk.) | ||
020 | |a 9780080532028 |q (electronic bk.) | ||
035 | |a (OCoLC)162131210 |z (OCoLC)174132392 |z (OCoLC)175314475 |z (OCoLC)441800249 |z (OCoLC)647654899 |z (OCoLC)779919700 |z (OCoLC)989414429 |z (OCoLC)1035681777 |z (OCoLC)1110241768 | ||
050 | 4 | |a QA9 |b .B73 2000eb | |
072 | 7 | |a QA |2 lcco | |
072 | 7 | |a MAT |x 016000 |2 bisacsh | |
072 | 7 | |a MAT |x 018000 |2 bisacsh | |
082 | 0 | 4 | |a 511.3/09034 |2 22 |
100 | 1 | |a Brady, Geraldine. | |
245 | 1 | 0 | |a From Peirce to Skolem : |b a neglected chapter in the history of logic / |c Geraldine Brady. |
250 | |a 1st ed. | ||
260 | |a Amsterdam ; |a New York : |b North-Holland/Elsevier Science BV, |c 2000. | ||
300 | |a 1 online resource (xi, 468 pages) : |b illustrations | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Studies in the history and philosophy of mathematics, |x 0928-2017 ; |v v. 4 | |
520 | |a 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�oder, Leopold L�owenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic. | ||
505 | 0 | |a 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�oder's Calculus of Relatives -- 8. L�owenheim's Contribution -- 9. Skolem's Recasting -- Appendices. Bibliography. Index. | |
504 | |a Includes bibliographical references (pages 445-459) and index. | ||
588 | 0 | |a Print version record. | |
650 | 0 | |a Logic, Symbolic and mathematical |x History |y 19th century. | |
650 | 0 | |a Logic, Symbolic and mathematical |x History |y 20th century. | |
650 | 6 | |a Logique symbolique et math�ematique |0 (CaQQLa)201-0001166 |x Histoire |0 (CaQQLa)201-0378908 |y 19e si�ecle. |0 (CaQQLa)201-0378908 | |
650 | 6 | |a Logique symbolique et math�ematique |0 (CaQQLa)201-0001166 |x Histoire |0 (CaQQLa)201-0378892 |y 20e si�ecle. |0 (CaQQLa)201-0378892 | |
650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
648 | 7 | |a 1800-1999 |2 fast | |
655 | 7 | |a History. |2 fast |0 (OCoLC)fst01411628 | |
776 | 0 | 8 | |i Print version: |a Brady, Geraldine. |t From Peirce to Skolem. |b 1st ed. |d Amsterdam ; New York : North-Holland/Elsevier Science BV, 2000 |z 044450334X |z 9780444503343 |w (DLC) 00050392 |w (OCoLC)45166707 |
830 | 0 | |a Studies in the history and philosophy of mathematics ; |v v. 4. |x 0928-2017 | |
856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444503343 |z Texto completo |
856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=09282017&volume=4 |z Texto completo |
856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/09282017/4 |z Texto completo |