Formal number theory and computability
Formal number theory and computability
Alec Fisher
Details
OL Work ID
OL4981833W
Subjects
Gödel's theorem
Incompleteness theorems
Number theory
Computable functions
Find this book
Open Library