ABAB

zineeeezine.mex

zineeee///

Sound – an inference system A is sound with respect to another system B if A can only reach conclusions which are true in B.

zineeee///

zineeeeVolker Straebel