مقدمه‌ای بر منطق سازنده و ریاضیات [یادداشت‌های سخنرانی]

Introduction to Constructive Logic and Mathematics [Lecture notes]

معرفی کتاب «مقدمه‌ای بر منطق سازنده و ریاضیات [یادداشت‌های سخنرانی]» (با عنوان لاتین Introduction to Constructive Logic and Mathematics [Lecture notes]) نوشتهٔ Thomas Streicher، منتشرشده توسط نشر 2009 در سال 2009. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.