Logic for concurrency and synchronisation [electronic resource] / edited by Ruy J.G.B. de Queiroz.
Contributor(s): Queiroz, Ruy J. G. B. de | ebrary, Inc
.
Series: Trends in logic: v. 18.Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, c2003Description: xxi, 284 p. : ill. ; 25 cm.Subject(s): Proof theory![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
511.3 (Browse shelf) | Available |
Includes bibliographical references.
TSLHHL
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.