<![CDATA[Library of American University of Madaba Search for 'su:Logic, Symbolic and mathematical. and su-to:Mathematical Logic and Foundations. and se:Lecture Notes in Computer Science,']]>

<![CDATA[Library of American University of Madaba Search for 'su:Logic, Symbolic and mathematical. and su-to:Mathematical Logic and Foundations. and se:Lecture Notes in Computer Science,']]> http://library.aum.edu.jo/cgi-bin/koha/opac-search.pl?q=ccl=su:Logic, Symbolic and mathematical. and su-to:Mathematical Logic and Foundations. and se:Lecture Notes in Computer Science,&format=rss2 15 0 50 Logic, Rationality, and Interaction ISBN 9783642409486 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=15028 By Grossi, Davide.. . XII, 363 p. 41 illus. 9783642409486

Place Hold on Logic, Rationality, and Interaction

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=15028 The Nature of Computation. Logic, Algorithms, Applications ISBN 9783642390531 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14818 By Bonizzoni, Paola.. . XVIII, 446 p. 42 illus. 9783642390531

Place Hold on The Nature of Computation. Logic, Algorithms, Applications

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14818 Typed Lambda Calculi and Applications ISBN 9783642389467 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14809 By Hasegawa, Masahito.. . XII, 251 p. 18 illus. 9783642389467

Place Hold on Typed Lambda Calculi and Applications

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14809 Recent Trends in Algebraic Development Techniques ISBN 9783642376351 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14704 By Martí-Oliet, Narciso.. . X, 283 p. 71 illus. 9783642376351

Place Hold on Recent Trends in Algebraic Development Techniques

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14704 Logical Foundations of Computer Science ISBN 9783642357220 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14575 By Artemov, Sergei.. . X, 415 p. 49 illus. 9783642357220

Place Hold on Logical Foundations of Computer Science

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14575 The Logic of Categorial Grammars ISBN 9783642315558 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14238 By Moot, Richard.. . X, 300 p. 69 illus. 9783642315558

Place Hold on The Logic of Categorial Grammars

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14238 Lectures on Logic and Computation ISBN 9783642314858 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14228 By Bezhanishvili, Nick.. . VIII, 265 p. 41 illus. 9783642314858

Place Hold on Lectures on Logic and Computation

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14228 How the World Computes ISBN 9783642308703 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14171 By Cooper, S. Barry.. . XVIII, 756p. 42 illus. 9783642308703

Place Hold on How the World Computes

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14171 Recent Trends in Algebraic Development Techniques ISBN 9783642284120 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14036 By Mossakowski, Till.. . X, 303 p. 9783642284120

Place Hold on Recent Trends in Algebraic Development Techniques

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14036 Logic, Rationality, and Interaction ISBN 9783642241307 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13828 By Ditmarsch, Hans.. . XI, 403 p. 9783642241307

Place Hold on Logic, Rationality, and Interaction

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13828 The Mathematics of Language ISBN 9783642232114 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13744 By Kanazawa, Makoto.. . IV, 227p. 9783642232114

Place Hold on The Mathematics of Language

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13744 Logic and Games on Automatic Structures ISBN 9783642228070 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13707 By Kaiser, Łukasz.. . XII, 118 p. 9783642228070

Place Hold on Logic and Games on Automatic Structures

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13707 Models of Computation in Context ISBN 9783642218750 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13633 By Löwe, Benedikt.. . XIII, 319p. 9783642218750

Place Hold on Models of Computation in Context

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13633 Typed Lambda Calculi and Applications ISBN 9783642216916 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13610 By Ong, Luke.. . XII, 245 p. 9783642216916

Place Hold on Typed Lambda Calculi and Applications

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13610 Tools for Teaching Logic ISBN 9783642213502 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13561 By Blackburn, Patrick.. . XI, 257p. 9783642213502

Place Hold on Tools for Teaching Logic

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13561