Export 5 results:
Filters: Author is Tyko Strassen  [Clear All Filters]
Artemov, S., Strassen, T.: Functionality in the Basic Logic of Proofs. (1993).
Artemov, S., Strassen, T.: The Basic Logic of Proofs. In: Börger, E., Jäger, G., Kleine Büning, H., Martini, S., and Richter, M.M. Computer Science Logic, 6th Workshop, CSL'92, San Miniato, Italy, September 28–October 2, 1992, Selected Papers. pp. 14-28. Springer (1993).
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).