Foundations without foundationalism : a case for second-order logic /
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford : New York :
Clarendon Press ; Oxford University Press,
1991.
|
| Series: | Oxford logic guides ;
17. Oxford science publications |
| Subjects: |
University of St. Thomas
| Call Number: |
QA9 .S48 1991 |
|---|
University of Minnesota
| Call Number: |
QA9 .S48 1991 |
|---|
South Central College, Faribault
| Call Number: |
511.3 S52 |
|---|