zbMath0645.68098MaRDI QIDQ3789102
No author found.
Publication date: 1988
zbMATH Keywords
logic programming; constructive logic; proofs as programs; PAP
Mathematics Subject Classification ID
Related Items