No label defined (Q4426950)
From MaRDI portal
scientific article; zbMATH DE number 1983083
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1983083 |
Statements
18 September 2003
0 references
natural deduction set theory
0 references
negation in logic programming systems
0 references
second recursion theorem
0 references
rough sets
0 references
abstract approximation spaces
0 references
modal logic
0 references