An improved proof procedure1
Bibliographic Data
| ID | 20141886 |
|---|---|
| Authors | Dag Prawitz (0000-0003-4183-715X, Stockholm University, corresponding author) |
| Year | 1960 |
| Volume | 26 |
| Issue | 2 |
| Pages | 102-139 |
| Publication date | 1960-08-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Theoria (JOURNAL) |
| Journal identifiers | ISSN: 0040-5825 • E-ISSN: 1755-2567 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/j.1755-2567.1960.tb00558.x |
| OpenAlex | W1968605571 |
| Language | EN |
| Citations received | 1 |
| References cited | 10 |
Citation · Library science · Linguistics · Reading (process) · Computer Science · Formal Methods in Verification · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Philosophy
| Citations per year | 0.06 |
|---|---|
| Citation span | 2009 - 2009 (1) |
| Highly cited | No |