การพิสูจน์ - พิมพ์เพ็ญ เวชชาชีวะ (กรุงเทพฯ : มูลนิธิ สอวน.)
บรรณานุกรม
Keywords: คณิตศาสตร์; ตรรกวิทยา; วิธีอุปนัยเชิงคณิตศาสตร์