CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC (Q6180604)
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: CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC |
scientific article; zbMATH DE number 7781910
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC |
scientific article; zbMATH DE number 7781910 |
Statements
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC (English)
0 references
22 December 2023
0 references
conservation theorems
0 references
semi-classical arithmetic
0 references
intuitionistic arithmetic
0 references