Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 45 kết quả
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
 
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
 
Proofs and refutations : the logic of mathematical discovery
Tác giả: Imre Lakatos
Xuất bản: Cambridge New York: Cambridge University Press, 197
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
Fuzzy Logic
Tác giả: F Martin Mcneill/Ellen Thro
Xuất bản: : AP Professional, 1994
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.313
 
Thinking in problems : how mathematicians find creative solutions / Alexander A. Roytvarf
Tác giả: Alexander A Roytvarf
Xuất bản: New York: Birkhauser, 2013
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  512
 
Combinatorics and Graph Theory [electronic resource]
Tác giả: Michael Mossinghoff, John Harris, Jeffry L Hirst
Xuất bản: New York NY: SpringerVerlag 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: McGrawHill, 2005
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.36
 
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
 
Appalachian set theory : 2006-2012
Tác giả: James Cummings, Ernest Schimmerling
Xuất bản: Cambridge UK New York: Cambridge University Press, 2013
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.322
 
Lectures on infinitary model theory
Tác giả: D Marker
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.34
 

Truy cập nhanh danh mục