Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Bounded variable logics and counting : a study in finite models / Martin Otto by Series: Lecture notes in logic ; v.9
Publication details: Berlin : Springer-Verlag, 1996
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Q9.7.O88.

Place hold
2.
Nonstandard methods and applications in mathematics / edited by Nigel J. Cutland, Mauro Di Nasso, David A. Ross by Series: Lecture notes in logic ; 25
Publication details: La Jolla, Calif. : Association for Symbolic Logic, 2006
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA299.82.N664.

Place hold
3.
Recursion theory (by) J.R. Shoenfield; (edited by) K. Fine ... (et. al). by Series: Lecture notes in logic ; 1
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.6.S56.

Place hold
4.
Turing's Legacy : Developments from Turing's Ideas in Logic / Edited by Rod Downey. by Series: Lecture Notes in Logic ; no. 42 | Lecture Notes in Logic ; no. 42.Publisher: Cambridge : Cambridge University Press, 2014 In: Cambridge e-book
Online resources:
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook.

Place hold
5.
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