Journal article
Proof theory and computer programming
Authors
de Queiroz RJGB; Maibaum TSE
Journal
Mathematical Logic Quarterly, Vol. 36, No. 5, pp. 389–414
Publisher
Wiley
Publication Date
January 1990
DOI
10.1002/malq.19900360505
ISSN
0044-3050
Experts has a new look! Let us know what you think of the updates.
Provide feedback