Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 56 kết quả
Bridge to abstract mathematics : mathematical proof and structures
Tác giả: Ronald P Morash
Xuất bản: New York NY: Random House, 1987
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
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
 
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
 
Mathematical reasoning : patterns, problems, conjectures, and proofs
Tác giả: Raymond S Nickerson
Xuất bản: New York: Psychology Press, 2010
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  510.19
 
A first course in logic : an introduction to model theory, proof theory, computability and complexity
Tác giả: Shawn Hedman
Xuất bản: New York: Oxford University Press, 2004
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  160
 
Intermediate logic
Tác giả: David Bostock
Xuất bản: Oxford New York: Clarendon Press Oxford University Press, 1997
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  160
 
An introduction to substructural logics
Tác giả: Greg Restall
Xuất bản: London New York: Routledge, 2000
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  160
 
Formal logic : a philosophical approach
Tác giả: Paul Hoyningen-Huene
Xuất bản: Pittsburgh Pa: University of Pittsburgh Press, c2004
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  160
 
The foundations of mathematics
Tác giả: Ian Stewart, David Orme Tall
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Fuzzy cognitive maps and neutrosophic cognitive maps
Tác giả: W B Vasantha Kandasamy, Florentin Smarandache
Xuất bản: Phoenix: Xiquan, 2003
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.313
 

Truy cập nhanh danh mục