A felicitous fragment of the predicate calculus (Q5921237)
From MaRDI portal
scientific article; zbMATH DE number 3339360
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A felicitous fragment of the predicate calculus |
scientific article; zbMATH DE number 3339360 |
Statements
A felicitous fragment of the predicate calculus (English)
0 references
1973
0 references
