Précis de logique mathématique — Józef Maria Bocheński