Curry algebras P\(\tau\) (Q2770960)
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 1704387
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Curry algebras P\(\tau\) |
scientific article; zbMATH DE number 1704387 |
Statements
27 March 2003
0 references
annotated logic
0 references
Curry algebra
0 references
0 references
0.84569716
0 references
0.8418841
0 references
0.83904755
0 references
0.8328699
0 references
0 references
Curry algebras P\(\tau\) (English)
0 references
