Authors: FEFERMAN S

Citation: S. Feferman, COMPUTATION ON ABSTRACT-DATA-TYPES - THE EXTENSIONAL APPROACH, WITH AN APPLICATION TO STREAMS, Annals of pure and applied Logic, 81(1-3), 1996, pp. 75-113

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

Authors: FEFERMAN S HELLMAN G

Citation: S. Feferman et G. Hellman, PREDICATIVE FOUNDATIONS OF ARITHMETIC, Journal of philosophical logic, 24(1), 1995, pp. 1-17

Authors: FEFERMAN S JAGER G

Citation: S. Feferman et G. Jager, SYSTEMS OF EXPLICIT MATHEMATICS WITH NONCONSTRUCTIVE MU-OPERATOR .1, Annals of pure and applied Logic, 65(3), 1993, pp. 243-263