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