Unhighlight Highlight
121. 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
122. Mathematical logic and programming languages /   Publication: Englewood Cliffs, N.J. : Prentice-Hall Int., 1985 . 184 p. , Papers were 1st published in the Philosophical Transaction of the Royal Society, Series A, v 312, 1984. Date:1985 Availability: Copies available: Turkeyen Campus Science & Technology [QA94 M38] (2), Actions: Add to cart
123. First course in mathematical logic /   Publication: New York : Blaisdell Pub., Co. 1964 . 274p. , (A Blaisdell book in the pure and applied sciences). Date:1964 Availability: Copies available: Turkeyen Campus Science & Technology [QA248 S83] (1), Actions: Add to cart No cover image available No cover image available
124. Set theory and logic.   Publication: San Francisco, W.H.Freeman 1963 . 474p. Date:1963 Availability: Copies available: Turkeyen Campus Science & Technology [QA248 S7985] (1), Actions: Add to cart No cover image available No cover image available
125. A formalization of set theory without variables /   Publication: -Providence, R.I. :American Mathematical Society, 1987 . xxi, 318p. Date:1987 Availability: Copies available: Turkeyen Campus Science & Technology [QA248 T37] (1), Actions: Add to cart
126. Direct and converse theorems :   Publication: Oxford : Pergamon P., 1963 . 143 p. : Date:1963 Availability: Copies available: Turkeyen Campus Science & Technology [QA248 .3 G713] (1), Actions: Add to cart No cover image available No cover image available
127. The logic design of transistor digital computers   Publication: Englewood Cliffs, N.J., Prentice-Hall, 1963 . 322 p. Date:1963 Availability: Copies available: Turkeyen Campus Science & Technology [TK7888.3 .M3] (1), Actions: Add to cart No cover image available No cover image available
128. Studies in foundations and combinatorics /   Publication: New York : Academic Press, 1978 . ix, 265 p. : Date:1978 Availability: Copies available: Turkeyen Campus Science & Technology [QA164 S78 S85] (1), Actions: Add to cart