کتاب زبان اصلی Logic as a Tool اثر Valentin Goranko معرفی کتاب Logic as a Tool A Guide to Formal Logical Reasoning منطق به عنوان ابزاری برای استدلال منطقی صوری اثر Valentin Goranko x000D   x000D  این کتاب در سال 2016 میلادی توسط والنتین گورانکو استاد منطق دانشگاه استکهلم منتشر شده است کتاب به معرفی جامعی از منطق صوری و کاربرد آن به عنوان ابزاری برای استدلال منطقی و دقیق می پردازد نویسنده مفاهیم پایه ای منطق گزاره ای و گزاره های حساب قضایا را توضیح داده و نحوه استفاده از آن ها در اثبات و استدلال ریاضی را نشان می دهد این کتاب برای دانشجویان فلسفه ریاضیات و علوم کامپیوتر مفید است x000D   x000D