4.1. Ян Лукасевич і Варшавська школа логіки
- 4.1.3. Я.Лукасевич і історія логічних досліджень у Львівсько-Варшавській школі. (класична логіка)
- 4.1.1. Метафізичні основи логічного аналізу
- 4.1.2. Вплив Я. Лукасевича на розвиток математичної логіки у Львівсько-Варшавській школі
- 4.1.4. Пропозиціональне числення із змінними функторами
- 4.1.5. Натуральний умовивід Ст. Яськовського
- 4.1.6. Метаматематичні дослідження логіки