A hybrid intuitionistic logic : semantics and decidability /
Chadha, Rohit.
Macedonio, Damiano.
Sassone, Vladimiro.
University of Sussex.Computer Science.
Brighton : University of Sussex,
[2005]
Title from cover.
"November 2005."
Includes bibliographical references.
Logic programming.