Search results
- Exploring logical dynamics / Johan van Benthem . Stanford : CSLI Publications, 1996 . xi, 329 s . ISBN 1-57586-058-9 . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 
book
- 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, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book