Computability and logic George. Boolos

By: Boolos, George [Author]Contributor(s): Jeffrey, Richard CMaterial type: TextTextLanguage: English Publication details: New York Cambridge University Press 1989Edition: 3rd edDescription: x, 304 p. ill. 24 cmISBN: 0521389232 (pbk.Subject(s): Computable functions | Recursive functions | Logic, Symbolic and mathematicalDDC classification: 511.320 Online resources: Click here to access online | Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Books Books Bangalore University Library
CL 		511.320 BOO (Browse shelf (Opens below)) Available 317291

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.

Powered by Koha