Výsledky vyhledávání
- Exploring logical dynamics / Johan van Benthem . Stanford : CSLI Publications, 1996 . xi, 329 s . ISBN 1-57586-058-9 . [1, z toho volných 1]
Pobočka Prezenčně Volné Vypůjčené Rezervované Univerzitní knihovna UHK 0 1 0 0 
kniha
- Language in action : categories, lambdas, and dynamic logic / Johan van Benthem . Amsterdam : North-Holland, 1995 ; Cambridge : MIT Press . x, 365 s . ISBN 0-262-72024-8 . [1, z toho volných 1]
Pobočka Prezenčně Volné Vypůjčené Rezervované Univerzitní knihovna UHK 0 1 0 0 kniha