The Logical Basis for Computer Programming: Deductive reasoning

Mathematical logic; Theories with induction.

• ISBN 10 : UOM:39015020866656
• Judul : The Logical Basis for Computer Programming: Deductive reasoning
• Pengarang : Zohar Manna,  
• Kategori : Computers
• Penerbit : Addison-Wesley Professional
• Bahasa : en
• Tahun : 1985
• Halaman : 618
• Halaman : 618
• Google Book : http://books.google.co.id/books?id=Tq4mAAAAMAAJ&dq=inauthor:manna%27&hl=&source=gbs_api
• Ketersediaan :

Mathematical logic; Theories with induction.