کتاب زبان اصلی Two Applications of Logic to Mathematics  اثر Gaisi Takeuti Two Applications of Logic to Mathematics کاربردهای دوگانه منطق در ریاضیات اثر Gaisi Takeuti گایسی تاکئوتی کتابی است که در سال 1978 منتشر شده و به بررسی کاربرد منطق و نظریه مجموعه ها در ریاضیات می پردازد این کتاب توسط انتشارات جامعه ریاضی ژاپن منتشر شده و توسط گایسی تاکئوتی ریاضی دان ژاپنی نوشته شده  است تاکئوتی به خاطر کارهایش در زمینه منطق ریاضی و نظریه مدل ها شناخته شده و جوایز متعددی را دریافت کرده  است این کتاب به بررسی نظریه اثبات پذیری منطق مرتبه اول و تئوری مجموعه ها و کاربرد آن ها در ریاضیات می پردازد کتاب حاوی مطالب پیشرفته ای در زمینه منطق ریاضی است و برای دانشجویان تحصیلات تکمیلی ریاضی و منطق کاربردی دارد