Normal view MARC view ISBD view

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..Bibliographie : Notes bibliogr. Index.Sujet MSC : 03Dxx, Mathematical logic and foundations, Computability and recursion theory
03D60, Mathematical logic and foundations -- Computability and recursion theory, Computability and recursion theory on ordinals, admissible sets, etc.
03D20, Mathematical logic and foundations -- Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
03F60, Mathematical logic and foundations -- Proof theory and constructive mathematics, Constructive and recursive analysis
En-ligne : sur Numir
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
03 HER (Browse shelf) Available 00690-01

Notes bibliogr. Index

There are no comments for this item.

Log in to your account to post a comment.