Higher-Order Logic or Set Theory: A False Dilemma (Q4919678)
From MaRDI portal
scientific article; zbMATH DE number 6163162
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Higher-Order Logic or Set Theory: A False Dilemma |
scientific article; zbMATH DE number 6163162 |
Statements
Higher-Order Logic or Set Theory: A False Dilemma (English)
0 references
15 May 2013
0 references
second-order logic
0 references
set theory
0 references
general theory of interpretations
0 references
foundational studies
0 references