No label defined (Q3222842)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3889526
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 3889526 |
Statements
1984
0 references
constructivism
0 references
continuity
0 references
constructive category of information systems
0 references
endofunctors
0 references
intuitionistic set theory
0 references
Kleene realizability
0 references
consistency
0 references
0.7641459703445435
0 references
0.7622285485267639
0 references
0.7622285485267639
0 references
0.7414973974227905
0 references
