书籍介绍
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 Schroder, Leopold Lowenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.
目录
Introduction
1. The Early Work of Charles 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
显示全部