Computation Theory and Logic
Item Details
Condition:
New
Seller:
Rating:
(867) 81%
Ships From:
Multiple Locations
Shipping:
Standard
Comments:
Please allow 4-14 business
days for Media Mail
delivery. Brand New,
Perfect Condit... [more] Please allow 4-14 business
days for Media Mail
delivery. Brand New,
Perfect Condition, 100%
Money Back Guarantee, Over
1,000,000 customers served [less]
days for Media Mail
delivery. Brand New,
Perfect Condit... [more] Please allow 4-14 business
days for Media Mail
delivery. Brand New,
Perfect Condition, 100%
Money Back Guarantee, Over
1,000,000 customers served [less]
Own This Book? Sell It
ISBN-13:
Publisher: Springer Summary: This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectr [read more]
9783540181705
ISBN:3540181709
Pub Date: 1987Publisher: Springer Summary: This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectr [read more]
THE EXTRA MILE GUARANTEE
- 30-Day No-Hassle Returns
- Fast, Same-Day Customer Service
- The Best Prices on Textbook Rentals
NEED HELP PAYING FOR COLLEGE?
- Find student loan options quickly and easily
- Compare loans to find the best fit for you
- Apply for the loan that meets your needs
Price + Shipping
Condition
Details
Product Details
ISBN-13:
ISBN:
Pub Date: 1987
Publisher: Springer
9783540181705
ISBN:
3540181709
Pub Date: 1987
Publisher: Springer
This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding's scientific interests.
Where's My Stuff?
- Track your recent orders.
Shipping & Returns
- See our shipping rates & policies.
- Return an item (here's our Return Policy).
Need Help?
