No label defined (Q4286879)
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 549071 |
scientific article; zbMATH DE number 549071
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 549071 |
Statements
20 September 1994
0 references
intuitionistic set theory
0 references
equiconsistency
0 references
recursive functions
0 references
models of realizability type
0 references
0.7570944
0 references
0.7529147
0 references
0.7528455
0 references
0.7524063
0 references
0.7507583
0 references
0.7503351
0 references
0.75023735
0 references
0.7499266
0 references
0.7496592
0 references
