CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC (Q6180604)
From MaRDI portal
scientific article; zbMATH DE number 7781910
Language | Label | Description | Also known as |
---|---|---|---|
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