Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994.
Sergei N. ArtëmovGeorge BoolosErwin EngelerSolomon FefermanGerhard JägerAlbert VisserPublished in: Ann. Pure Appl. Log. (1995)