No label defined (Q5438966)
From MaRDI portal
scientific article; zbMATH DE number 5233465
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 5233465 |
Statements
8 February 2008
0 references
proof processing system
0 references
type theory
0 references
set theory
0 references
proof
0 references
deduction
0 references
computation
0 references
mathematical language
0 references
function
0 references