http://www.bibsonomy.org/burst/user/callagialla/InformatikBibSonomy BuRST Feed for /user/callagialla/Informatik2008-07-21T00:42:03+02:00http://www.bibsonomy.org/bibtex/2869d237c77456033716b12d21fe181cc/callagiallacallagialla2008-03-20T21:01:58+01:00and LogikTheoretische scienceLogic, mathematicalMathematische Symbolic Informatik Computer <span style="color:#555555;">Samson <a href="http://www.bibsonomy.org/author/Abramsky">Abramsky</a> and Dov M. <a href="http://www.bibsonomy.org/author/Gabbay">Gabbay</a> and T.S.E. <a href="http://www.bibsonomy.org/author/Maibaum">Maibaum</a> </span><em>Handbook of Logic in Computer Science, </em><em>Clarendon Press, </em>(<em>1992-2000</em>)Thu Mar 20 21:01:58 CET 2008Handbook of Logic in Computer ScienceVol. 5Logic and algebraic methods1992-2000and LogikTheoretische scienceLogic, mathematicalMathematische Symbolic Informatik Computer Literaturangaben