# Publications

Export 280 results:
1993
: Systems of explicit mathematics with non-constructive $μ$-operator. Part I. Annals of Pure and Applied Logic. 65, 243-263 (1993).
: The Basic Logic of Proofs. In: Computer Science Logic, 6th Workshop, CSL'92, San Miniato, Italy, September 28–October 2, 1992, Selected Papers. pp. 14-28. Springer (1993).
: The defining power of stratified and hierarchical logic programs. Journal of Logic Programming. 15, 55-77 (1993).
: The Logic of the Gödel Proof Predicate. In: 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).
1992