Loại tài liệu:    Chỉ tìm trong: 
151-160 trong số 778 kết quả
Giáo trình nhập môn logic hình thức
Tác giả: Nguyễn Đức Dân
Xuất bản: Tp.HCM: Đại học Quốc gia Thành phố Hồ Chí Minh , 2007
Bộ sưu tập: Sách giáo trình
Bản in + eBook (pdf)
ddc:  160
 
Classical algebra : its nature, origins, and uses
Tác giả: Roger Cooke
Xuất bản: Hoboken, N.J: Wiley-Interscience , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  512
 
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
 
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
 
Tracking reason : proof, consequence, and truth
Tác giả: Jody Azzouni
Xuất bản: Oxford ; New York: Oxford University Press , 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.36
 
Lectures in logic and set theory
Tác giả: George J Tourlakis
Xuất bản: Cambridge, UK ; New York: Cambridge University Press , 2003
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Math proofs demystified elektronisk ressurs
Tác giả: Stan Gibilisco
Xuất bản: New York: McGraw-Hill , 2005
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.36
 
Introduction to fuzzy logic using MATLAB
Tác giả: S N Sivanandam, S N Deepa, S Sumathi
Xuất bản: Berlin ; New York: Springer , 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3130285
 
A rulebook for arguments
Tác giả: Anthony Weston
Xuất bản: Indianapolis: Hackett Pub. Co , 2000.
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  168
 
Advances in Proof-Theoretic Semantics
Tác giả: Thomas Piecha, Thomas Piecha, Peter Schroeder-Heister, Peter Schroeder-Heister
Xuất bản: Cham: Springer Nature , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục