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.
@article{ArtemovBEFJV95,
title = {Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994},
author = {Sergei N. Artëmov and George Boolos and Erwin Engeler and Solomon Feferman and Gerhard Jäger and Albert Visser},
year = {1995},
tags = {logic},
researchr = {https://researchr.org/publication/ArtemovBEFJV95},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {75},
number = {1-2},
pages = {1},
}