Your search returned 4 results.

Results
		Knowledge Representation : Logical, Philosophical, and Computational Foundations / JOHN F. SOWA by Sowa, John F [author] Material type: Text; Format: print ; Literary form: Not fiction Publisher: Pacific Grove, CA, USA : BROOKS/COLE ; [2000?]Copyright date: ©2000 Availability: Items available for loan: PERPUSTAKAAN KKBDA (1)Call number: 003.54 SOW. Lists: INFORMATION TECHNOLOGY. Place hold Add to cart (remove)
		HANDBOOK OF RECURSIVE MATHEMATICS Volume 1 : Recursive Model Theory / Edited by Yu. L. ERSHOV, A. NERODE, S.S. GONCHAROV, J.B. REMMEL ; Associate Editor : V.W. MAREK by Goncharov, S.S [ editor] Remmel, J.B [ editor] Series: STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMA Material type: Text; Format: print ; Literary form: Not fiction Language: BI Publication details: AMSTERDAM ELSEVIER 1998 Other title: Handbook of recursive mathermatics recursive model theory Availability: Items available for loan: PERPUSTAKAAN KKBDA (1)Call number: 511.35 HAN. Place hold Add to cart (remove)
		Introduction to Boolean Algebras / Steven Givant, Paul Halmos by Givant, Steven [ author] II. Series Series: UNDERGRADUATE TEXTS IN MATHEMATICS Material type: Text; Format: print ; Literary form: Not fiction Language: BI Publication details: New York, NY Springer 2009 Availability: Items available for loan: PERPUSTAKAAN KKBDA (1)Call number: 511.3 GIV. Place hold Add to cart (remove)
		Pengantar Logik dan Pengabstrakan untuk Sains Komputer / Rosni Abdullah, Tang Enya Kong by Rosni Abdullah [author] Tang, Enya Kong [author] Material type: Text; Format: print ; Literary form: Not fiction Publisher: Petaling Jaya, Selangor, Malaysia : Prentice Hall/Pearson Education Malaysia Sdn. Bhd. ; 2000Copyright date: ©2000 Availability: Items available for loan: PERPUSTAKAAN KKBDA (3)Call number: 005.1015113 ROS, ... Lists: INFORMATION TECHNOLOGY. Place hold Add to cart (remove)