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

researchr

You are not signed in
Sign in
Sign up

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. Annals of Pure and Applied Logic, 75(1-2):1, 1995.

Abstract is missing.

runs on WebDSL