Techniques of admissible recursion theory / C.T. Chong

Auteur principal : Chong, Chi-Tat, 1949-, AuteurType de document : Livre numériqueCollection : Lecture notes in mathematics, 1106Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1984ISBN: 9783540139027.ISSN: 1617-9692.Sujet MSC : 03D60, Computability and recursion theory on ordinals, admissible sets, etc.
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundationsEn-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.