کتاب زبان اصلی Introduction to Logic اثر Alfred Tarski مقدمه ای بر منطق و روش شناسی علوم استنتاجی Introduction to Logic and to the Methodology of Deductive Sciences اثر آلفرد تارسکی Alfred Tarski x000D   x000D  این کتاب در سال 1946 میلادی منتشر شده است کتاب یک مقدمه جامع بر منطق ریاضی و روش شناسی علوم قیاسی ارائه می دهد تارسکی به عنوان یکی از بنیان گذاران منطق ریاضی مدرن در این کتاب مفاهیم پایه ای منطق گزاره ای و منطق پیش نیاز را تشریح کرده و کاربرد آن را در علوم اثباتی نشان می دهد کتاب حاوی مثال ها و تمرین های فراوان است و برای درک بهتر مبانی منطق ریاضی بسیار مفید می باشد  x000D   x000D