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

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.

This author has not been identified. Look up 'Sergei N. Artëmov' in GoogleThis author has not been identified. Look up 'George Boolos' in GoogleThis author has not been identified. Look up 'Erwin Engeler' in GoogleThis author has not been identified. Look up 'Solomon Feferman' in GoogleThis author has not been identified. Look up 'Gerhard Jäger' in GoogleThis author has not been identified. Look up 'Albert Visser' in Google

runs on WebDSL