Your search returned 7 results.

Results
	1.	Completeness, compactness, and undecidability : an introduction to mathematical logic / Alfred B. Manaster by Manaster, Alfred B, 1938- Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1975 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.M294. Place hold
	2.	The computational complexity of logical theories / / Jeanne Ferrante, Charles W. Rackoff by Ferrante, Jeanne, 1949- Rackoff, Charles W, 1948- Series: Lecture notes in mathematics (Springer-Verlag) ; 718 Publication details: Berlin : Springer-Verlag, 1979 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: Q9.35.F43[00008031795], ... Place hold
	3.	Game-theoretical semantics : essays on semantics / by Hintikka ... [et al.] ; edited by Esa Saarinen by Hintikka, Kaarlo Jaakko Juhani, 1929- Saarinen, Esa, 1953- Series: Synthese language library ; 5 Publication details: Dordrecht : D. Reidel Publishing Company, 1979 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: P325.5.M36G3 6, ... Place hold
	4.	Logic : form and function ; the mechanization of deductive reasoning / J. A. Robinson by Robinson, J. A. (John Alan) Publication details: Edinburg : University Press, 1979 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: BC71.R6. Place hold
	5.	Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. by Dijkstra, Edsger Wybe Scholten, Carel S Series: Texts and monographs in computer science Publication details: New York : Springer-Verlag, 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Q9.35.D55. Place hold
	6.	Propositional and Predicate Calculus A Model of Argument [electronic resource] / by Derek Goldrei. by Goldrei, Derek SpringerLink (Online service) Publication details: London : Springer-Verlag London Limited, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	7.	Tableau systems for first order number theory and certain higher order theories / Sue Toledo. by Toledo, Sue Ann, 1940- Publication details: Berlin : Springer-Verlag, 1975 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.54.T658. Place hold

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