From Foundations to Ludics (Q4650294)
From MaRDI portal
scientific article; zbMATH DE number 2133241
Language | Label | Description | Also known as |
---|---|---|---|
English | From Foundations to Ludics |
scientific article; zbMATH DE number 2133241 |
Statements
From Foundations to Ludics (English)
0 references
9 February 2005
0 references
structures of proofs
0 references
logical framework
0 references