1. Mathematical logic and programming languages /   Publication: Englewood Cliffs, N.J. : Prentice-Hall, 1985 . 184 p. : Date:1985 Availability: No items available: Withdrawn (1), Actions: Add to cart
2. Structured programming logic /   Publication: Dubuque, Iowa : William C. Brown, 1987 . xv, 236 p. Date:1987 Availability: Copies available: Turkeyen Campus Science & Technology [QA76.6 M38] (1), Actions: Add to cart
3. Mathematical logic in computer science /   Publication: Amsterdam : North-Holland Pub. Co., 1981 . 758 p. : Date:1981 Availability: Copies available: Turkeyen Campus Science & Technology [QA76.6 M38] (1), Actions: Add to cart