Biçimsel Anlambilimde Montague Programi: Bileşimsellik, Yoğun Mantık ve Tip Kuramının Sistematik Bir Çözümlemesi (The Montague Programme In Formal Semantics: A Systematic Analysis of Compositionality, Intensional Logic, and Type Theory) - Fatih TORUN - | Journal of Turkish Studies