|
|
| |
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 (remove)
|
|
| |
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 (remove)
|
|
| |
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 (remove)
|
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 (remove)
|
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 (remove)
|
|
| |
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 (remove)
|
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 (remove)
|
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 (remove)
|
|
