Waclaw Zawadowski

• Outline of Mathematical Logic