Introduction: Set Theory and Higher-Order Logic: Fundational Issues and Mathematical Development
Research output: Contribution to journal › Special issue
Authors
Colleges, School and Institutes
External organisations
- Univ Oslo
- Univ Calif Irvine
- Univeristy of Bristol
Details
| Original language | English |
|---|---|
| Journal | Notre Dame Journal of Formal Logic |
| Volume | 56 |
| Issue number | 1 |
| Publication status | Published - 2015 |