No label defined (Q4867684)
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 851066 |
scientific article; zbMATH DE number 851066
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 851066 |
Statements
27 August 1996
0 references
operators
0 references
higher-order functionals
0 references
comprehension procedure
0 references
type-free complete logic calculus
0 references
0.8751985
0 references
0.8743539
0 references
0.8701532
0 references
0.8699688
0 references
