جستجوي پيشرفته | کتابخانه مجازی الفبا

ترجمه ماشینی: گزیده ای از تاریخ منطق صوری در این نسخه از قابل‌توجه‌ترین تاریخ منطق رسمی که تاکنون منتشر شده است، البته با توافق کامل نویسنده، از این فرصت استفاده شده است تا در نسخه اصلی، برخی تنظیمات لازم انجام شود. با این حال، تنها در 36، تعداد قسمت های ذکر شده به دلیل معرفی موضوع جدید تغییر کرده است. آن تغییرات به شرح زیر است. درباره ناشر کتاب فراموش شده صدها هزار کتاب کمیاب و کلاسیک را منتشر می کند. در www.forgottenbooks.com بیشتر بیابید این کتاب بازتولید یک اثر مهم تاریخی است. Forgotten Books از پیشرفته‌ترین فناوری برای بازسازی دیجیتالی اثر استفاده می‌کند و در عین حال عیوب موجود در نسخه قدیمی را ترمیم می‌کند و فرمت اصلی را حفظ می‌کند. در موارد نادر، نقصی در نسخه اصلی، مانند نقص یا صفحه گم شده، ممکن است در نسخه ما تکرار شود. با این حال، ما اکثریت قریب به اتفاق نواقص را با موفقیت ترمیم می کنیم. هرگونه نقصی که باقی می ماند عمداً برای حفظ وضعیت چنین آثار تاریخی باقی می ماند.

ترجمه ماشینی: لهستان نقش بسیار زیادی در توسعه منطق ریاضی ایفا کرده است. منطق دانان برجسته لهستانی، مانند لزنیفسکی، لوکاسیویچ و تارسکی، آثار متعددی در رابطه با منطق فلسفی ارائه کردند، حوزه ای که موضوعات مختلف مرتبط با مبانی فلسفی خود منطق و همچنین علوم مختلف فردی را پوشش می دهد. این مجموعه آثار معاصر لهستانی را در منطق فلسفی ارائه می دهد که از بسیاری جهات ادامه دهنده روش لهستانی در انجام منطق فلسفی است. این کتاب مورد توجه منطق دانان، ریاضیدانان، فیلسوفان و زبان شناسان خواهد بود.