Title: Discrete structures, logic, and computability
First published: 1994
Subjects: Computable functions, Computer science, Data structures (Computer science), Logic programming, Logic, Symbolic and mathematical, Mathematics, Symbolic and mathematical Logic, Traitement automatique des données, Mathematische Logik, Automatische bewijsvoering, Berechenbarkeit, Diskrete Mathematik, Berekenbaarheid, Logisch programmeren, Computer science, mathematics, Computer science--mathematics, Qa76.9.m35