LC control no. | sh 85028814 |
---|---|
LC classification | QA9.5 |
Topical heading | Combinatory logic |
Variant(s) | Logic, Combinatory |
See also | Logic, Symbolic and mathematical Nonclassical mathematical logic |