Authors: ARTEMOV S BOOLOS G ENGELER E FEFERMAN S JAGER G VISSER A

Citation: S. Artemov et al., INVITED PAPERS PRESENTED AT THE CONFERENCE ON PROOF THEORY, PROVABILITY LOGIC, AND COMPUTATION - PREFACE, Annals of pure and applied Logic, 75(1-2), 1995, pp. 1-1