AuthorQueiroz, Ruy J. G. B.
TitleLogic for Concurrency and Synchronisation [electronic resource] / edited by Ruy J. G. B. Queiroz
Imprint Dordrecht : Kluwer Academic Publishers, 2003
Connect tohttp://dx.doi.org/10.1007/0-306-48088-3
Descript-

SUBJECT

  1. Philosophy
  2. Theory of Computation
  3. Logic
  4. Mathematical Logic and Foundations