Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 54 kết quả
THE LOGIC BOOK
Tác giả: Merrie Bergmann, James Moor, Jack Nelson
Xuất bản: ,
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  160
 
Logical options : an introduction to classical and alternative logics
Tác giả: J L Bell, David DeVidi, Graham Solomon
Xuất bản: Peterborough, Ont: Broadview Press , 2001.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
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
 
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
 
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
 
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
 
Combinatorics and Graph Theory [electronic resource]
Tác giả: Michael Mossinghoff, John Harris, Jeffry L Hirst
Xuất bản: New York, NY: Springer-Verlag New York , 2008
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.6
 
Math proofs demystified
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
 

Truy cập nhanh danh mục