Skip to content
Vinony

Recursive functions and metamathematics

by Roman Murawski

Cover of Recursive functions and metamathematics

No description available.

Decidability (Mathematical logic)Gödel's theoremRecursive functionsHistoryComputable functionsGoedel's theorem
Recursive functions and metamathematics by Roman Murawski — book · Vinony