Computability and logic / George S. Boolos, Richard C. Jeffrey
Main AuthorBoolos, George S.CoauthorJeffrey, Richard C.CountryReino Unido.Edition3rd edPublicationCambridge : Cambridge University Press, imp. 1995DescriptionX, 304 p. ;
23 cmISBN0-521-38923-2 CDU510.6510.57
Tags from this library:No tags from this library for this title.Log in to add tags.
There are no comments for this item.