Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
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 …
Recursive Functions and Metamathematics
häftad,
2010,
Engelska,
ISBN 9789048152988
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 …