לוגיקה מתימטית

לוגיקה מתימטית

איפה אפשר למצוא הוכחה מלאה של משפט השלמות לתחשיב הפרדיקטים?
 
למעלה