Revistes Catalanes amb Accés Obert (RACO)

A metatheoretical characterization of negation as finite failure

Giovanni Criscuolo

Text complet: Text complet