Korfhage, Robert R., Logic and algorithms, with applications to the computer and information sciences by Robert R. Korfhage. - 194 páginas Subjects--Topical Terms: AlgoritmosLógica simbólica y matemática LC Class. No.: QA9 / K676