Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen.

By:

Series: Grundlehren der mathematischen Wissenschaften ; Bd. 109.Publication details: Berlin: Springer, 1961.Description: 246 p.: illus.; 24 cmSubject(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	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 H553a 1961 IMPA (Browse shelf(Opens below))	1	Available		39063000097678
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 H553a 1961 IMPA (Browse shelf(Opens below))	2	Available		39063000097686

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		No cover image available No cover image available	Next
Previous	511.3 H462l 1962 IMPA Lógica elementar/	511.3 H473p 1952 IMPA Philosophic problems of nuclear science: Eight lectures by Werner Heisenberg/	511.3 H513c 1971 IMPA Cylindric algebras/	511.3 H553a 1961 IMPA Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen.	511.3 H553a 1961 IMPA Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen.	511.3 H553i 1973 IMPA Introduction to mathematical logic/	511.3 H621i 1956 IMPA Intuitionism; an introduction.	Next

Includes bibliography.

There are no comments on this title.

to post a comment.