حوليات المنطق البحت والتطبيقي

مجلة  حوليات المنطق البحت والتطبيقي  هي مجلة علمية محكمة تصدرها دار النشر Elsevier ، وتنشر أبحاثاً حول تطبيقات المنطق الرياضي في الرياضيات وعلوم الحاسوب وغيرها من التخصصات ذات الصلة. ^{[ 1 ]}

يشمل محررو مجلة حوليات المنطق البحت والتطبيقي علماء الرياضيات أولريش كولينباخ في جامعة دارمشتات التقنية في ألمانيا، وتوماس دبليو سكانلون في جامعة كاليفورنيا، بيركلي ، وفيليب سكوت في جامعة أوتاوا . ^{[ 1 ]}