Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems (Synthese Library)
0
0
Author Description
Page Count:
404
Publication Date:
1999-09-30
ISBN-10:
0792359046
ISBN-13:
9780792359043
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!