Predicate calculus of arbitrarily high finite order (Q3309804)
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 3837989
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Predicate calculus of arbitrarily high finite order |
scientific article; zbMATH DE number 3837989 |
Statements
Predicate calculus of arbitrarily high finite order (English)
0 references
1983
0 references
illative combinatory logic
0 references
0 references
0.7872418165206909
0 references
0.7551939487457275
0 references
0.7469019889831543
0 references
0.7468891739845276
0 references
