No label defined (Q4503907)
From MaRDI portal
scientific article; zbMATH DE number 1507187
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1507187 |
Statements
14 May 2001
0 references
first-order theorem proving
0 references
typed logic
0 references
untyped first-order logic
0 references
abstract model theory
0 references