My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Author Crossley, John N.

Title Logical Methods [electronic resource] : In Honor of Anil Nerode's Sixtieth Birthday / edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.

Published Boston, MA : Birkh衵ser Boston, 1993.


Location Call No. Status
Physical description 1 online resource (813 pages).
Series Progress in Computer Science and Applied Logic ; 12
Progress in computer science and applied logic ; 12.
Other author Remmel, Jeffrey B.
Shore, R. A. (Richard A.)
Sweedler, Moss E.
Subject Computer science.
Logic design.
Logic, Symbolic and mathematical.
Computer science.
Logic design.
Logic, Symbolic and mathematical.
Electronic books.
ISBN 9781461203254 (electronic bk.)
1461203252 (electronic bk.)