Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994.

Sergei N. Artëmov George Boolos Erwin Engeler Solomon Feferman Gerhard Jäger Albert Visser Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. 1 1995 75 Ann. Pure Appl. Logic 1-2 db/journals/apal/apal75.html#ArtemovBEFJV95