Loại tài liệu:    Chỉ tìm trong: 
Tìm được 72 kết quả
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
 
Model theory : an introduction
Tác giả: D Marker
Xuất bản: New York: Springer , 2002
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Computability : a mathematical sketchbook
Tác giả: D S Bridges
Xuất bản: New York: Springer-Verlag , 1994
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Classical descriptive set theory
Tác giả: A S Kechris
Xuất bản: New York: Springer-Verlag , 1995
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Introduction to Axiomatic Set Theory
Tác giả: Gaisi Takeuti, Wilson M Zaring
Xuất bản: New York: Springer , 1971
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Logic : an introductory course
Tác giả: W Newton-Smith
Xuất bản: London: Routledge , 1985
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
The complexity of Boolean functions
Tác giả: Ingo Wegener
Xuất bản: Stuttgart: Teubner , 1987
Bộ sưu tập: Khoa học tự nhiên
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
 
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
 
Logic Toán
Tác giả: Trần Thọ Châu
Xuất bản: Hà Nội: Đại học Quốc gia Hà Nội , 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
1 2 3 Tiếp

Truy cập nhanh danh mục