Filter
Sökt på: roman murawski
Filter
1 träff
Recursive Functions and Metamathematics
inbunden,
1999,
Engelska,
ISBN 9780792359043
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This …