Proof theory and computer programming.
Saved in:
| Title: | Proof theory and computer programming. |
|---|---|
| Authors: | de Queiroz, Ruy J. G. B.1, Maibaum, Thomas S. E.1 |
| Source: | Mathematical Logic Quarterly. 1990, Vol. 36 Issue 5, p389-414. 26p. |
| Database: | Academic Search Ultimate |
Be the first to leave a comment!
