Skip to main content
PRL Project

Exporting and Reflecting Abstract Meta-mathematics

by Robert L. Constable
1994

In proceedings of 12th International Conference on Automated Deduction

  • unofficial copies PDF, PS

bibTex ref: Con94a


cite link