|
|
| |
1. |
|
Varieties of constructive mathematics
by Bridges, D. S.
Publication:
Cambridge [Cambridgeshire] ; | New York : Cambridge University Press, 1987
. 1 online resource (x, 149 p.) :
Date:1987
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
2. |
|
Bounded arithmetic, propositional logic, and complexity theory
by Kraj�i�cek, Jan.
Publication:
Cambridge [England] ; | New York, N.Y. : Cambridge University Press, 1995
. 1 online resource (xiv, 343 p.)
Date:1995
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
3. |
|
Twenty-five years of constructive type theory
Publication:
Oxford : | New York : Clarendon Press ; | Oxford University Press, 1998
. 1 online resource (vii, 283 p.)
Date:1998
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
4. |
|
Constructibility and mathematical existence
by Chihara, Charles S.,
Publication:
Oxford : | New York : Clarendon Press ; | Oxford Univ. Press, 1990
. 1 online resource (xv, 282 p.) :
Date:1990
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
| |
5. |
|
Foundations of algorithms /
Publication:
Lexington, Mass. : D.C. Heath, 1996
. xv, 523 p. :
Date:1996
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA9.58 N42]
(1),
Actions:
Add to cart (remove)
|
|
