English
Beginner
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems
Roman Murawski (auth.)
1999
مشاهدهٔ کتاب
کشف منابع
Roman Murawski (auth.)
کتابها
1 نتیجه