Two papers on the predicate calculus. (Q221647)
published work from 1980
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Two papers on the predicate calculus. |
published work from 1980 |
Statements
RE048312
0 references
1980
0 references
Two papers on the predicate calculus.
0 references
Stephen Cole Kleene.
0 references
AA226767
0 references
7Jan80
0 references
5Nov52
0 references
American Mathematical Society (PWH)
0 references
PWH
0 references