Computability and continuity in finite types

By:

Material type: Text

TextPublication details: Utrecht : Mathematical Institute, Budapestlaan, 1951.Description: iv,184p. : ill. ; 28cmSubject(s):

LOC classification:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Book	UDSM Library	Mathematics Department	MATH QA9.615.B47 (Browse shelf(Opens below))	Available		000000202405

Previous			No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	MATH QA9.56.K73 Bounded arithmetic, propositional logic, and complex theory	MATH QA9.59.V47 Computable functions	MATH QA9.65.M67 Sentences undercidable in formalized arthmetic : an exposition of the thepry of Kurt Godel	MATH QA9.615.B47 Computability and continuity in finite types	MATH QA9.B39 1987 Finite: empirical mathematical outline of a model	MATH QA9.B39 2012 Mathematical logic for computer science	MATH QA9.B39 2012 Mathematical logic for computer science	Next

There are no comments on this title.

to post a comment.