Epsilon-invariant substitutions and indefinite descriptions (Q5176660)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Epsilon-invariant substitutions and indefinite descriptions |
scientific article; zbMATH DE number 6409408
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Epsilon-invariant substitutions and indefinite descriptions |
scientific article; zbMATH DE number 6409408 |
Statements
Epsilon-invariant substitutions and indefinite descriptions (English)
0 references
27 February 2015
0 references
epsilon-calculus
0 references
choice logic
0 references
epsilon-invariance
0 references
substitution
0 references
descriptions
0 references
0.8669941
0 references
0 references
0 references
0 references
0.84464675
0 references
0.8358706
0 references