Mantığın formelleştirilmesi üzerinde düşünceler - Hızır, Nusret. (Ankara)