
کشف منابع
Proofs
کتابها
55 نتیجه




English
Unordered
Mathematical Logic Quarterly
Andrej Bauer; Alex Simpson
2004 September
مشاهدهٔ کتاب







English
Unordered
Algebra and Logic
P. E. Alaev; J. Thurber; A. N. Frolov
2009 September
مشاهدهٔ کتاب


English
Unordered
Annals of Pure and Applied Logic
Fernando Ferreira; Martin Hyland; Benedikt Löwe; Elvira Mayordomo
2012 June
مشاهدهٔ کتاب