Back to Search
Start Over
On connections and higher-order logic
- Publication Year :
- 1988
- Publisher :
- Carnegie Mellon University, 1988.
-
Abstract
- Mathematics Technical Report
Details
- Database :
- OpenAIRE
- Accession number :
- edsair.doi.dedup.....ae6eba4bf2d48fe41b244e6dfb554423
- Full Text :
- https://doi.org/10.1184/r1/6478703