Mathematical Logic and Programming - Hardcover, by Hoare C. A.

Mathematicsal Logic And Programming Languages, C.A.R. Prentice-Hall, 1985

Proofs and Refutations: The Logic of Mathematical Discovery

Mathematical Logic and Programming Languages (Prentice Hall Inte

Mathematicsal Logic And Programming Languages, C.A.R. Prentice-Hall, 1985

Computer Methods for Mathematical Computations Prentice-Hall Series In Automatic

Mathematical Statistics 5th Edition John E Freund Prentice Hall Int’l Paperback

Book Mathematical Statistics John E Freund Fifth Printing 1965 Prentice Hall