שלום,
מישהו מכיר ספרים בנושא לוגיקה מתמטית (הלמה של צורן וכו')?

תודה