Enumerability, decidability, computability;: An introduction to the theory of recursive functions/ Translated by G. T. Hermann and O. Plassmann.

By:

Language: engger Series: Grundlehren der mathematischen Wissenschaften ; Bd. 127.Publication details: Berlin: New York: Springer, 1969.Edition: 2d rev. edDescription: x, 245 p.: 24 cmUniform titles:

Subject(s):

DDC 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	Copy number	Status	Notes	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 IMPA (Browse shelf(Opens below))	1	Available	Lógica Matemática		39063000095888

Previous	No cover image available	No cover image available		No cover image available	No cover image available		No cover image available	Next
Previous	511.3 IMPA An essay on the psychology of invention in the mathematical field/	511.3 IMPA La géométrie et le problème de l'espace.	511.3 IMPA Dear Russell, dear Jourdain: a commentary on Russell's logic, based on his correspondence with Philip Jourdain/	511.3 IMPA Enumerability, decidability, computability;: An introduction to the theory of recursive functions/	511.3 IMPA Grundlagen der Mathematik.. I.	511.3 IMPA Projections of lawless sequences/	511.3 IMPA Les limitations internes des formalismes; étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques.	Next

Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.

Includes bibliographies.

There are no comments on this title.

to post a comment.