::כן,זאת הייתה הכוונה --[[משתמש:לואי פולב|לואי]] 21:19, 6 בדצמבר 2011 (IST)
== סיכום בקורס בלוגיקה מתמטית במדעי המחשב ==
אהלן!
אני כותב סיכום של פרופ' דורון פלד בקורס בלוגיקה מתמטית 89-200, למי שרוצה ומתעניין, הסיכום נמצא [http://www.studenteen.org/Logics_Sikum.pdf כאן].
בהצלחה! ;-)