Search results
- Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey . Cambridge : Cambridge University Press, c2002 . xi, 356 s . ISBN 0-521-00758-5 . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book