List of Books in Keyword #Recursive

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems

Published on: 1999

Beginner Unordered English

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the …

Recursive Completeness Decidability Gödel Metamathematics

Page 1 of 1