EN ورود

کشف منابع

Proof Theory

کتاب‌ها

2 نتیجه

Cover of A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

English Beginner

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Shawn Hedman

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

Cover of Archive for Mathematical Logic

English Unordered

Archive for Mathematical Logic

Dag Normann

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