Aufzahlbarkeit, entscheidbarkeit, berechenbarkeit : einfuhrung in die theorie der rekursiven funktionen / Hans Hermes

Auteur principal : Hermes, Hans, 1912-2003, AuteurType de document : MonographieCollection : Grundlehren der mathematischen wissenschaften, 109Langue : allemand.Pays: Allemagne.Éditeur : Berlin : Springer, 1961Description : 1 vol. (IX-246 p.) : fig. ; 24 cmISBN: s.n..ISSN: 0072-7830.Bibliographie : Notes bibliogr. Index.Sujet MSC : 03Dxx, Mathematical logic and foundations - Computability and recursion theory
03D60, Computability and recursion theory on ordinals, admissible sets, etc.
03D20, Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
03F60, Proof theory and constructive mathematics, Constructive and recursive analysisEn-ligne : sur Numir
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
Monographie Monographie CMI
Salle 1 		03 HER (Browse shelf(Opens below)) Available 00690-01

Notes bibliogr. Index

There are no comments on this title.

to post a comment.