Výsledky vyhledávání
- 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, z toho volných 1]
Pobočka Prezenčně Volné Vypůjčené Rezervované Univerzitní knihovna UHK 0 1 0 0