View in EDS PDF Full Text

Proof theory and computer programming.

Saved in:
Bibliographic Details
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
Description
ISSN:09425616
DOI:10.1002/malq.19900360505