Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 63 kết quả
Symbolic-Numeric Computation [electronic resource]
Tác giả: Dongming Wang, Lihong Zhi
Xuất bản: Basel: Birkhauser Verlag AG , 2007
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
 
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
 
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
 
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
 
THE LOGIC BOOK
Tác giả: Merrie Bergmann, James Moor, Jack Nelson
Xuất bản: ,
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  160
 

Truy cập nhanh danh mục