Modeller Kuramı (MAT 414), 2011-12
Bruno Poizat'nın derse hazırlık, ve bu dersin kendisi.
Ders notları:
Kaynaklar:
- David Pierce, Modeller kuramına giriş:
- Bruno Poizat, Cours de Théorie des Modèles (Nur al-Mantiq wal-Ma'rifah , 1985): fichier pdf: POIZAT_1985_1.pdf (mot de passe: irina75018)
- Itaï Ben Yaacov and Bruno Poizat, ‘Fondements de la logique positive’, Journal of Symbolic Logic 72 (2007), no. 4, 1141–1162
- David Pierce, Önermeler mantığı:
Bakmakla öğrenilse, köpekler kasap olurdu.