No label defined (Q4506390)
From MaRDI portal
scientific article; zbMATH DE number 1508926
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1508926 |
Statements
18 September 2000
0 references
theory revision
0 references
OLP-FOL logic
0 references