English
Intermediate
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс
Evert W. Beth
1970
مشاهدهٔ کتاب
کشف منابع
Symbolic Logic
کتابها
1 نتیجه