On the propositional calculus with a variable functor, $C \delta pC \delta Np \delta q$ (Q5586218)
From MaRDI portal
scientific article; zbMATH DE number 3304903
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the propositional calculus with a variable functor, $C \delta pC \delta Np \delta q$ |
scientific article; zbMATH DE number 3304903 |
Statements
On the propositional calculus with a variable functor, $C \delta pC \delta Np \delta q$ (English)
0 references
1966
0 references
general logic
0 references
