مقدمة للمنطق ولمنهج البحث في العلوم الاستدلالية - الفرد تارسكي