Computability and logic

SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

RECORD DETAIL

Title	Computability and logic
Edition	3rd ed.
Call Number	511.3 BOO/1989
ISBN/ISSN	0-521-38923-2
Author(s)	Boolos, George S. - Personal Name Jeffrey, Richard C. - Personal Name
Subject(s)	Logic, Symbolic And Mathematical Recursive Functions Computable Functions
Classification	511.3
Series Title
GMD	Text
Language	English
Publisher	Cambridge University Press
Publishing Year	1989
Publishing Place	Cambridge
Collation	x, 304p
Abstract/Notes
Specific Detail Info
Image
File Attachment	LOADING LIST...
Availability	LOADING LIST...
	Back To Previous

Select Language

Title :
Author(s) :

Subject(s) :

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Implemented by: Anees ur Rehman