Computations in Higher Types (English, J. Moldestad)
by J. Moldestad
Delivery options
₹3,244
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹3,244
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540081326
ISBN-10
3540081321
Author
J. Moldestad
About the Book
Abstract.- The computation domain.- Recursion on ?.- Connection with Kleene recursion in higher types.- Recursion in normal lists on ?.- Kleene recursion in normal objects of type n+2, n>0.- Computation theories on ?.- Abstract Kleene theories.- Normal computation theories on ?.- More about Mahloness.- Calculation of the lengths of some computations.- Gaps.- On platek: Foundations of recursion theory.- A final comment concerning the two types.
ISBN: 9783540081326
ISBN-13: 9783540081326
ISBN-10: 3540081321
Frequently Asked Questions
What is the price of Computations in Higher Types?
Computations in Higher Types starts from ₹3244 at BookBajar. Available in Paperback.
Who is the author of Computations in Higher Types?
J. Moldestad is the author of Computations in Higher Types. Browse more books by J. Moldestad on BookBajar.
Is Computations in Higher Types available in Paperback and Hardcover?
Yes, Computations in Higher Types is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Computations in Higher Types?
Yes, BookBajar offers free delivery for Computations in Higher Types across India. No minimum order value required.
Is Cash on Delivery available for Computations in Higher Types?
Yes, Cash on Delivery (COD) is available for Computations in Higher Types on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540081326
🛒 Customers Also Bought
Bericht Über Den Vierten Kongress Für Heilpädagogik in Leipzig, 11.-15. April 1928 (English, Kongreß Für Heilpädagogik | Erwin Lesch)
₹3,508
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,398
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
The Dynastinae of the World (English, S. Endrödi)
₹38,485
Dust Mites (English, Matthew J. Colloff)
₹23,844
Der Keynesianismus II (English, G. Bombach | H. -J Ramser | M. Timmermann)
₹4,601Related Products
Thermodynamik in Der Mineralogie (English, Ladislav Cemic)
₹3,143
Green Building (English, Michael Bauer | Peter Mösle | Michael Schwarz)
₹20,154
Software Engineering Education (English, Jorge L. Diaz-Herrera)
₹11,549
Datenstrukturen in Apl2 (English, Hanspeter Bieri | Felix Grimm)
₹3,873
Advances in Cryptology (English, Hugh C. Williams)
₹5,656