Intelligent Computer Mathematics
Mathematical Logic and Formal LanguagesLogic designAlgebraInformation storage and retrieval systemsInformation organizationInformation retrievalMath Applications in Computer ScienceLogics and Meanings of Programs
Writing a summary for young readers…
For young readers
Book data: Open Library