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: Springer-Verlag , 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: Springer-Verlag , 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