![book Lectures on the Logic of Computer Programming](/covers/files_170/230000/cae3038889cdc8c92bca075ec4e77678-d.jpg)
- Author: Zohar Manna
- Language: English
- Year: 1987
![book Mathematical Theory of Computation](/covers/files_170/178000/aa1faeb04582fa5e865cce60493675ae-d.jpg)
- Author: Zohar Manna
- Language: English
- Year: 2003
![book Lectures on the logic of computer programming](/covers/files_170/112000/039f56cb0d021cb1879046ec74ceee91-d.jpg)
- Author: Zohar Manna
- Language: English
- Year: 1987
![book Lectures on the logic of computer programming](/covers/files_170/71000/e04f5aa547be1373aea09cd3e42ea01a-d.jpg)
- Author: Zohar Manna
- Language: English
- Year: 1987
![book Lectures on the logic of computer programming](/covers/files_170/71000/41b80f8db42c72ffa174a36c642de9a6-d.jpg)
- Author: Zohar Manna
- Language: English
- Year: 1987
![book The Calculus of Computation: Decision Procedures with Applications to Verification](/covers/files_170/54000/a973b6029d450a49161ecac4d6468362-d.jpg)
- Author: Aaron R. Bradley Zohar Manna
- Language: English
- Year: 2007