Gentzen. Conference, Rome, Italy, October 3--5, 1996 (Q1279563)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1249474
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Gentzen. Conference, Rome, Italy, October 3--5, 1996 |
scientific article; zbMATH DE number 1249474 |
Statements
Gentzen. Conference, Rome, Italy, October 3--5, 1996 (English)
0 references
8 February 1999
0 references
The articles of this volume will be reviewed individually. Gentzen is a keyword for the Esprit-BRA Working Group 7232 developing methodologies and programming techniques.
0 references
Rome (Italy)
0 references
Proceedings
0 references
Conference
0 references
Gentzen
0 references
Special issue
0 references
