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