Knowledge Resources | Dar Al-hikmah Library | Public Access
Subject(s): Computer science -- Mathematics | Logic programming | Data structures (Computer science) | Logic, Symbolic and mathematical | Computable functions Contents:Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary l