Computations in higher types / Johan Moldestad

Auteur principal : Moldestad, Johan, 1946-, AuteurType de document : Livre numériqueCollection : Lecture notes in mathematics, 574Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1977ISBN: 9783540374251.ISSN: 1617-9692.Sujet MSC : 03D60, Computability and recursion theory on ordinals, admissible sets, etc.
03D65, Computability and recursion theory, Higher-type and set recursion theory
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.