Search results
- The concept of logical consequence / John Etchemendy . Stanford : Center for the Study of Language and Information, 1999 . 174 s . ISBN 1-57586-194-1 . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- The matematical analysis of logic : being an essay towards a calculus of deductive reasoning / George Boole . Bristol : Thoemmes Press, 1998 . xi, 82 s . ISBN 1-85506-583-5 . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- Metoda transformací logických formulí . Praha : Academia, 1989 . 126 s . ISBN 80-200-0107-7 . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book