5853020
9783540557982
This is an introduction to recursive functions intended for graduate students. It presupposes some mathematical maturity and a slight aquaintancewith some important topics, such as group theory and topology. Some acquaintance with logic is desirable but not essential. It introduces the main topics of recusion theory, such as hierarchy theory, RE sets, and undecidable theories, without going very deeply into any of them.Vosselman, G. is the author of 'Relational Matching', published 1992 under ISBN 9783540557982 and ISBN 3540557989.
[read more]