Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Computations in higher types /
Description
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
Computations in higher types /
Bibliographic Details
Main Author:
Moldestad, John 1946-
(Author, Autor/a)
Format:
Book
Language:
English
Published:
Berlín :
Springer,
1964-.
Subjects:
FUNCIONES RECURSIVAS
Holdings
Description
Similar Items
Staff View
Description
Item Description:
En : Lecture notes in mathematics. n. 1- Berlin, Springer, 1964- v. 574
Physical Description:
203 páginas
Similar Items
Recursive equivalence types /
by: Dekker, Jacob C.E. 1921 -, et al.
Published: (1960)
Computability /
by: Tourlakis, George J., et al.
Published: (1984)
Computability and unsolvability
by: Davis, Martin 1928-, et al.
Published: (1958)
Computability : an introduction to recursive function theory /
by: Cutland, Nigel, et al.
Published: (1980)
Theory of recursive functions and effective computability /
by: Rogers, Hartley n. 1926-, et al.
Published: (1967)
×
Loading...