EN ورود

کشف منابع

Metamathematics

کتاب‌ها

2 نتیجه

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

English Beginner

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

Roman Murawski (auth.)

1999 مشاهدهٔ کتاب

Cover of Introduction to Model Theory and to the Metamathematics of Algebra

English Beginner

Introduction to Model Theory and to the Metamathematics of Algebra

Abraham Robinson

0 مشاهدهٔ کتاب