No label defined (Q4463935)
From MaRDI portal
scientific article; zbMATH DE number 2070199
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2070199 |
Statements
8 June 2004
0 references
paraconsistency
0 references
finite arithmetics
0 references
proof
0 references
inconsistent models of arithmetic
0 references