Dữ liệu biên mục
|
Dạng tài liệu: | | Thông tin mô tả: | Schwartz, Jacob T Computational logic and set theory : Applying formalized logic to analysis / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo London ; New York : Springer, 2011 xvii, 416 tr. ; 24 cm
|
|
Dữ liệu xếp giá
Chi tiết
|
ĐHSG: An Dương Vương (ADV): 2000007393
|
|
Tổng số bản:
1
|
Số bản rỗi:
1
(kể cả các bản được giữ chỗ)
|
Số bản được giữ chỗ:
0
|
|
|
|
|
|
Mục từ truy cập
|
|
|
|
Số liệu bổ sung tổng hợp ấn phẩm định kỳ
Chi tiết
|
|
|
|
|
|