Description: "The purpose of this book is to present the basic facts of recursive function theory and mathematical logic in such a way that the reader understands it well, begins to appreciate its significance, learns how to think about and use it, and is prepared to go on in several different directions: automata theory, formal languages, complexity of computation, mechanical theorem-proving, the use of finite automata with respect to logic, more advanced recursive function theory, and more advanced mathematical logic."
Price: 12 USD
Location: Simsbury, Connecticut
End Time: 2024-11-08T00:55:26.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Subject Area: Logic
Country/Region of Manufacture: United States
Subject: Computer Science
Author: Ann Yasuhara
Publication Name: Recursive Function Theory and Logic
Format: Hardcover
Language: English
Publisher: Elsevier Science & Technology Books
Publication Year: 1971
Series: Computer Science and Applied Mathematics Ser.
Type: Textbook
Number of Pages: Xvii, 338 Pages