Your search returned 3 results.

Sort
Results
1.
Computability theory, semantics, and logic programming / Melvin Fitting by Series: Oxford logic guides
Publication details: New York : Oxford University Press, 1987
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.59.F58[00008031803].

2.
Fundamentals of generalized recursion theory / Melvin Fitting by Series:
Publication details: Amsterdam : North-Holland Publishing Company, 1981
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.6.F57, ...

3.
Proof methods for modal and intuitionistic logics/ Melvin Fitting. by Series: Synthese library ; v. 169.
Publication details: Dordrecht: D. Reidel Publishing Company, 1983
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.F57[00008031799].

Pages

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