Export 1 results:
Filters: Author is Alexander Leitsch  [Clear All Filters]
Artemov, S., Strassen, T.: The Logic of the Gödel Proof Predicate. In: Gottlob, G., Leitsch, A., and Mundici, D. Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24–27, 1993, Proceedings. pp. 71-82. Springer (1993).