EN ورود

کشف منابع

Mathematical Logic

کتاب‌ها

5 نتیجه

Cover of Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

English Intermediate

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Harald König,Michael Löwe (auth.),Adenilso Simao,Carroll Morgan (eds.)

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

Cover of An Introduction to the Technique of Formative Processes in Set Theory

English Beginner

An Introduction to the Technique of Formative Processes in Set Theory

Domenico Cantone,Pietro Ursino

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

Cover of Generalized descriptive set theory and classification theory

English Beginner

Generalized descriptive set theory and classification theory

Sy-David Friedman,Tapani Hyttinen,Vadim Kulikov

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

Cover of Computability: An Introduction to Recursive Function Theory

English Beginner

Computability: An Introduction to Recursive Function Theory

Nigel Cutland

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

Cover of Archive for Mathematical Logic

English Unordered

Archive for Mathematical Logic

Dag Normann

2002 November 01 مشاهدهٔ کتاب