Computations in Higher Types

Language: English

Published by Springer Berlin Heidelberg Mrz 1977, 1977

3540081321 / 9783540081326

  • Softcover
  • New
See all details

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

5-star seller

AbeBooks seller since January 11, 2012

View this seller's items
Softcover

Condition: New

£ 32.94

£ 19.67 shipping 
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket

Item description from seller

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 216 pp. Englisch.

Seller Inventory # 9783540081326

Title
Computations in Higher Types
Author
J. Moldestad
Publisher
Springer Berlin Heidelberg Mrz 1977
Publication year
1977
Condition
Neu
Binding
Taschenbuch
Language
English
ISBN 10
3540081321
ISBN 13
9783540081326
Item weight
335 grams
Dimensions
235x155x12 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Germany

5-star seller

AbeBooks seller since January 11, 2012

Shipping rates from Germany to U.S.A.

Item5 to 15 business days5 to 15 business days
First item£ 19.67£ 19.67
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

VisaMastercardAmerican ExpressApple PayGoogle Pay
Bank Wire TransferCheckPaypal

Seller's business information

BuchWeltWeit Ludwig Meier e.K.

Germany