On barinduction of higher types for decidable predicates (Q5668444)
From MaRDI portal
scientific article; zbMATH DE number 3402583
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On barinduction of higher types for decidable predicates |
scientific article; zbMATH DE number 3402583 |
Statements
On barinduction of higher types for decidable predicates (English)
0 references
1973
0 references
