First order in Ludics (Q4819363)
From MaRDI portal
scientific article; zbMATH DE number 2103266
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First order in Ludics |
scientific article; zbMATH DE number 2103266 |
Statements
First order in Ludics (English)
0 references
24 September 2004
0 references
Ludics
0 references
semantics of formulas with first-order quantifications
0 references
proofs
0 references
completeness
0 references
designs
0 references
