Computations in higher types

By:

Contributor(s):

Publication details: Berlin Springer-Verlag 1976Edition: Description: 203 pISBN:

ISSN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	University Library	510.57 MOL (Browse shelf(Opens below))	Available		00012605

Previous		No cover image available	No cover image available	No cover image available		No cover image available		Next
Previous	510.5:621.391 PRO Algorithms for statistical signal processing	510.57 ARG Mathematical applications of electronic spreas sheets	510.57 EIL Recursiveness	510.57 MOL Computations in higher types	510.57 PET Annotated turing	510.57 ROG Theory of recursive functions and effective computability	510.57 WEB Computability theory	Next

Lecture notes in mathematics ed by A Dold and B. Eckmann, 574

There are no comments on this title.

to post a comment.