Foundations of logic and theory of computation /
Sernadas, A.,1952-
Sernadas, Cristina.
London : College Publications,
c2008.
Includes bibliographical references and indexes.
Logic, Symbolic and mathematical.
Computer science
Computational complexity.