Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 159 kết quả
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Alfred Tarski : life and logic
Tác giả: Anita Burdman Feferman, Solomon Feferman
Xuất bản: Cambridge: Cambridge University Press , 2008.
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  192.9
 Thêm vào giỏ
 
Executing temporal logic programs
Tác giả: B C Moszkowski
Xuất bản: Cambridge [Cambridgeshire] ; New York: Cambridge University Press , 1986.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Logic and Boolean Algebra
Tác giả: Kathleen Levitz, Hilbert Levitz
Xuất bản: Barron';s Educational Series , 1979
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
Proof, logic and formalization
Tác giả: Michael Detlefsen
Xuất bản: London ; New York: Routledge , 1992
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
Trước 1 2 3 4 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media