Le Théorème fondamental de Gentzen
Bibliographic Data
| ID | 4493039 |
|---|---|
| Authors | Jean Ladrière (corresponding author) |
| Year | 1951 |
| Volume | 49 |
| Issue | 23 |
| Pages | 357-384 |
| Publication date | 1951-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.1951.4352 |
| OpenAlex | W1992165716 |
| Language | FR |
| Citations received | 1 |
| References cited | 1 |
Theology · History and Theory of Mathematics · Linguistics and Discourse Analysis · Mathematics · Philosophy
| Unique citing works | 1 |
|---|---|
| Citations per year | 0,04 |
| Citation span | 1998 - 1998 (1) |
| Citation velocity | historical |
| Highly cited | No |
| Citation types | Neutral: 1 |