q=Mathematical+Foundations+of+Programming&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&curlibcode=lixy&searchWay0=marc&logical0=AND rows=10&curlibcode=lixy&searchWay0=marc&logical0=AND