Deduktif çıkarımlar, dilsel deyimlerin mantıksal analizleri, önerme biçimleri ve doğruluk çizelgeleri, doğruluk değeri analizi, normal şemalar ve ikililik başlıkları incelenmiş böylelikle sembolik mantığın temel yapısının bütünlüklü bir şekilde ilk kez ortaya konulduğu kitap aşağıdakilerden hangisidir?