Cantitate/Preț
Produs

Computations in Higher Types: Lecture Notes in Mathematics, cartea 574

Autor J. Moldestad
en Limba Engleză Paperback – mar 1977

Din seria Lecture Notes in Mathematics

Preț: 31840 lei

Nou

Puncte Express: 478

Preț estimativ în valută:
6095 6269$ 5057£

Carte tipărită la comandă

Livrare economică 20 februarie-06 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540081326
ISBN-10: 3540081321
Pagini: 216
Ilustrații: VIII, 208 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.31 kg
Ediția:1977
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.