No label defined (Q4438099)
From MaRDI portal
scientific article; zbMATH DE number 2015271
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2015271 |
Statements
9 December 2003
0 references
length of formulas
0 references
linear tautologies
0 references
generating functions for classes of tautologies
0 references
asymptotic behaviour
0 references
density of truth
0 references
linear logic
0 references