Computability and logic by Boolos, George S | Burgess, John P | Jeffrey, Richard C.
Edition: 4Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: UK ; Cambridge university press ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BOO.