Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 122 kết quả
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
 
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
 
Proof, logic and formalization
Tác giả: Michael Detlefsen
Xuất bản: London New York: Routledge, 1992
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
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
 
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
 
A course in mathematical logic for mathematicians
Tác giả: I͡U I Manin, Neal Koblitz, Boris Zilber
Xuất bản: New York: Springer, 2010
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Mathematical Aspects of Logic Programming Semantics
Tác giả: Pascal Hitzler, Randi Cohen, Randi Cohen, Anthony Seda
Xuất bản: Boca Raton FL: Taylor Francis, 2010
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.115
 

Truy cập nhanh danh mục