Computability and logic/ George S Boolos,John P Burgess and Richard C Jeffrey
by Boolos,George S.
Material type: BookPublisher: Cambridge: Cambridge University Press, 2002Description: 356p.ISBN: 0521 00758 5.Subject(s): Logic | Computable functions | Recursive functions | Symbolic and mathematicalDDC classification: 511.3Item type | Location | Call number | Copy | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books |
Central Library, RBU.
|
511.3 B724 (Browse shelf) | 1 | Available | 115851 |
There are no comments for this item.