<![CDATA[Library of American University of Madaba Search for 'su:Logics and Meanings of Programs. and su-to:Logic design. and au:Torre, Leon.']]> http://library.aum.edu.jo/cgi-bin/koha/opac-search.pl?q=ccl=su:Logics and Meanings of Programs. and su-to:Logic design. and au:Torre, Leon.&format=rss2 3 0 50