Sugestu mallongigon Aldonu tiun artikolon en viaj legosignoj Printu tiun artikolon Serĉu iun mallongigon AkceptejoHOL HOL Kodo Signifo Lingvo Temoj kaj lokoj HOL High-Order Language En la angla Programlingvoj HOL High Order Language En la angla Programlingvoj