No label defined (Q4507804)
From MaRDI portal
scientific article; zbMATH DE number 1515261
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1515261 |
Statements
10 October 2000
0 references
mathematical logic
0 references
type theory
0 references
theory of axiomatic systems
0 references
model theory
0 references
representations
0 references
isomorphism
0 references
monomorphism
0 references
polymorphism
0 references
decidability
0 references
theory of relations
0 references
logicism
0 references
forking
0 references