Foundations without Foundationalism¶

Shapiro, S. (1991). Foundations without Foundationalism: A Case for Second-Order Logic. Oxford University Press.

Type: Book
Intellectual base: Review or monograph
Year: 1991
DOI: 10.1093/0198250290.001.0001
ISBN: 9780198250296
Link: https://doi.org/10.1093/0198250290.001.0001

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Second-order logic
- Semantic consequence and formal derivability must not be silently identified.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:e22bd0ecb697 · see in the full table