Szalas, Andrzej Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-203.pdf (Any fulltext), 121KB
Szalas, A.(1992). On natural deduction in fixpoint logics (MPI-I-92-203). Saarbrücken: Max-Planck-Institut für Informatik.