מבוא ללוגיקה:
ולמיתודולוגיה של המדעים הדידוקטיביים

מאת אלפרד טארסקי
פילוסופיה מוסד ויצמן לפרסומים במדעי הטבע ובטכנולוגיה, 1956