GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE (Q2795206)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE |
scientific article |
Statements
GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE (English)
0 references
18 March 2016
0 references
quantifiers
0 references
predicate logic
0 references
Frege
0 references
Russell
0 references
Skolem
0 references
Hilbert
0 references
Bernays
0 references
Brouwer
0 references
Heyting
0 references
Gentzen
0 references
Wittgenstein
0 references
Goodstein
0 references
