Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Brady, Geraldine
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