Loại tài liệu:    Chỉ tìm trong: 
Tìm được 56 kết quả
Logic with trees [electronic resource] : an introduction to symbolic logic
Tác giả: Colin Howson
Xuất bản: London New York: Routledge, 1997
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  160
 
Mathematical logic
Tác giả: Ian Chiswell, Wilfrid Hodges
Xuất bản: London New York: Oxford University Press, 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Mathematical logic
Tác giả: J Donald Monk
Xuất bản: New York: SpringerVerlag, 1976
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
Mathematical logic for computer science
Tác giả: Mordechai Ben-Ari
Xuất bản: New York: Springer, 2012
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.015113
 
Foundations of mathematical logic
Tác giả: Haskell B Curry
Xuất bản: New York: Dover Publications, 1977
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
A course on mathematical logic
Tác giả: S M Srivastava
Xuất bản: New York London: Springer, 2008
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
A concise introduction to mathematical logic
Tác giả: Wolfgang Rautenberg
Xuất bản: New York NY: Springer, 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
A course in mathematical logic
Tác giả: Manin ëIìU I, Neal Koblitz
Xuất bản: New York: Springer Verlag, 1977
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
An algebraic introduction to mathematical logic
Tác giả: D W Barnes, J M Mack
Xuất bản: New York: SpringerVerlag, 1975
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
Symbolic-Numeric Computation [electronic resource]
Tác giả: Dongming Wang, Lihong Zhi
Xuất bản: Basel: Birkhauser Verlag AG, 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
1 2 3 Tiếp

Truy cập nhanh danh mục