0 Mėgstami
0Krepšelis
59,20 
59,20 
2025-07-31 59.2000 InStock
Nemokamas pristatymas į paštomatus per 13-17 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

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.

Informacija

Autorius: J. Moldestad
Serija: Lecture Notes in Mathematics
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1977
Knygos puslapių skaičius: 216
ISBN-10: 3540081321
ISBN-13: 9783540081326
Formatas: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Mathematics

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Computations in Higher Types“

Būtina įvertinti prekę

Goodreads reviews for „Computations in Higher Types“