|
|
|
1. |
An introduction to mathematical logic and type theory : to truth through proof /
by Andrews, Peter Bruce
Publication:
Orlando : Academic Press, 1986
. XV, 304 p. ;
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Research directions in object-oriented programming /
Publication:
Cambridge : The MIT Press, 1987
. 585 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
3. |
Computed emission tomography /
Publication:
Oxford ; New York : Oxford University Press, 1982
. XV, 546 p. :
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
4. |
Solid state electrochemistry /
Publication:
Cambridge : Cambridge University Press, 1995
. XVI, 344 p. :
23 cm.
Date:1995
Availability:
No items available:
Checked out (1),
Actions:
|
|
