On the definition of substitution, replacement and allied notions in a abstract formal system
Bibliographic Data
| ID | 4492370 |
|---|---|
| Authors | Haskell B Curry (corresponding author) |
| Year | 1952 |
| Volume | 50 |
| Issue | 26 |
| Pages | 251-269 |
| Publication date | 1952-01-01 |
| Peer Reviewed | Yes |
| Open Access | No |
| Type | ARTICLE |
| Venue | Revue Philosophique de Louvain (JOURNAL) |
| Journal identifiers | ISSN: 0035-3841 • E-ISSN: 1783-1768 |
| Publisher | PERSEE Program (PUBLISHER) |
| DOI | 10.3406/phlou.1952.4394 |
| OpenAlex | W2055468395 |
| Language | EN |
| Citations received | 1 |
Epistemology · Linguistics · Substitution (logic) · Logic, programming, and type systems · Philosophy · semigroups and automata theory
| Unique citing works | 1 |
|---|---|
| Citations per year | 0,2 |
| Citation span | 2021 - 2021 (1) |
| Citation velocity | historical |
| Highly cited | No |
| Citation types | Neutral: 1 |