Loại tài liệu:    Chỉ tìm trong: 
81-90 trong số 627 kết quả
Mathematical Logic and Computability
Tác giả: H Jerome Keisler, Joel Robbin
Xuất bản: USA: McGraw-Hill , 1996
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.3
 
Arithmetic and Logic in Computer Systems
Tác giả: Mi Lu
Xuất bản: : WileyBlackwell , 2004
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Proof and disproof in formal logic : an introduction for programmers
Tác giả: Richard Bornat
Xuất bản: Oxford: Oxford University Press , 2005
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  160
 
Bridge to abstract mathematics : mathematical proof and structures
Tác giả: Ronald P Morash
Xuất bản: New York (N.Y: Random House , 1987
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
Being logical : a guide to good thinking
Tác giả: Dennis Q McInerny
Xuất bản: New York: Random House , 2004
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  160
 
Digital logic design
Tác giả: B Holdsworth, R C Woods
Xuất bản: Oxford: Newnes , 2002.
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.395
 
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
 
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
 
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
 
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
 

Truy cập nhanh danh mục