No label defined (Q3469102)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1988
0 references
generalization of proofs measured by the number of substitutions and generalizations
0 references
reductions to Hilbert's \(\epsilon \) -calculus
0 references
unifications
0 references
mathematics without variables
0 references
