Author: Geraldine Brady
Publisher: Elsevier
ISBN: 0080532020
Category : Computers
Languages : en
Pages : 481
Book Description
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.
From Peirce to Skolem
Author: Geraldine Brady
Publisher: Elsevier
ISBN: 0080532020
Category : Computers
Languages : en
Pages : 481
Book Description
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.
Publisher: Elsevier
ISBN: 0080532020
Category : Computers
Languages : en
Pages : 481
Book Description
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.
The Contributions of Peirce, Schröder, Löwenheim, and Skolem to the Development of First-order Logic
The Contributions of Peirce, Schrḏer, Lw̱enheim, and Skolem to the Development of First-order Logic
Author: Geraldine Brady
Publisher:
ISBN:
Category : Logik
Languages : en
Pages : 241
Book Description
Publisher:
ISBN:
Category : Logik
Languages : en
Pages : 241
Book Description