Natural deduction

Anderson, John Mueller,

Natural deduction the logical basis of axiom systems by John M. Anderson and Henry W. Johnstone, Jr. - Belmont, Ca. Wadsworth Publishing Co. 1962. - 418 pages ; illustrations : 24 cm.


Logic, Symbolic and mathematical.
Metamathematics.

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library