Logic colloquium '95. Invited papers presented in the special sessions on proof theory at the European summer meeting of the Association for Symbolic Logic, Haifa, Israel, August 9--17, 1995 (Q1267836)
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: Logic colloquium '95. Invited papers presented in the special sessions on proof theory at the European summer meeting of the Association for Symbolic Logic, Haifa, Israel, August 9--17, 1995 |
scientific article; zbMATH DE number 1210617
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic colloquium '95. Invited papers presented in the special sessions on proof theory at the European summer meeting of the Association for Symbolic Logic, Haifa, Israel, August 9--17, 1995 |
scientific article; zbMATH DE number 1210617 |
Statements
Logic colloquium '95. Invited papers presented in the special sessions on proof theory at the European summer meeting of the Association for Symbolic Logic, Haifa, Israel, August 9--17, 1995 (English)
0 references
13 January 1999
0 references
Logic
0 references
Colloquium
0 references
Proceedings
0 references
Haifa (Israel)
0 references
ASL
0 references
0.9000599980354309
0 references
