No label defined (Q4325790)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 733402 |
scientific article; zbMATH DE number 733402
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 733402 |
Statements
13 March 1995
0 references
foundations of mathematics
0 references
contradiction
0 references
Robinson's system \(Q\)
0 references
inconsistency
0 references
number-theoretic computations
0 references
