Complexity, Logic, and Recursion Theory

Author:   Andrea Sorbi ,  Zuhair Nashed (University of Central Florida, Orlando, USA) ,  Earl Taft
Publisher:   Taylor & Francis Inc
Volume:   v. 187
ISBN:  

9780824700263


Pages:   384
Publication Date:   04 February 1997
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $504.00 Quantity:  
Add to Cart

Share |

Complexity, Logic, and Recursion Theory


Add your own review!

Overview

Full Product Details

Author:   Andrea Sorbi ,  Zuhair Nashed (University of Central Florida, Orlando, USA) ,  Earl Taft
Publisher:   Taylor & Francis Inc
Imprint:   CRC Press Inc
Volume:   v. 187
Dimensions:   Width: 21.00cm , Height: 1.70cm , Length: 28.00cm
Weight:   0.635kg
ISBN:  

9780824700263


ISBN 10:   0824700260
Pages:   384
Publication Date:   04 February 1997
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Resource-bounded measure and randomness; degree structures in local degree theory; compressibility of infinite binary sequences; beyond Godel's theorem - the failure to capture information content; progressions of theories of bounded arithmetic; on presentations of algebraic structures; witness-isomorphic reductions and local search; a survey of inductive inference with an emphasis on queries; a uniformity of degree structures; short course on logic, algebra, and topology; the convenience of Tiling. (Part contents).

Reviews

Author Information

Andrea Sorbi is Associate Professor in the Department of Mathematics at the University of Siena, Italy. The author or coauthor of several key professional papers and book chapters on computability theory and mathematical logic, he is a member of the American Mathematical Society and the Association for Symbolic Logic, among other organizations. Dr. Sorbi received the Ph.D. degree (1987) in mathematics from the City University of New York, New York.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List