Intuitionistic notions of boundedness in ℕ (Q5505139)
From MaRDI portal
scientific article; zbMATH DE number 5497288
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intuitionistic notions of boundedness in ℕ |
scientific article; zbMATH DE number 5497288 |
Statements
Intuitionistic notions of boundedness in ℕ (English)
0 references
23 January 2009
0 references
intuitionistic logic
0 references
bounded subset
0 references
natural numbers
0 references
