Loại tài liệu:    Chỉ tìm trong: 
31-40 trong số 45 kết quả
The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
Tác giả: Calixto Badesa, Calixto Badesa
Xuất bản: Princeton: Princeton University Press, c2004
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.34
 
New essays on Tarski and philosophy
Tác giả: Douglas Patterson
Xuất bản: Oxford New York: Oxford University Press, 2008
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  510.1
 
Logic and discrete mathematics : a concise introduction
Tác giả: Willem Conradie, Valentin Goranko
Xuất bản: Chichester West Sussex Hoboken NJ: John Wiley Sons Inc, 2015
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
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
 
Deep beauty : understanding the quantum world through mathematical innovation
Tác giả: Hans Halvorson
Xuất bản: Cambridge New York: Cambridge University Press, 2011
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  530.120151
 
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
 
The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma
Tác giả: Alan Mathison Turing, B Jack Copeland
Xuất bản: Oxford New York: Clarendon Press Oxford University Press, 2004
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  510
 
Theorems, Corollaries, Lemmas, and Methods of Proof
Tác giả: Richard J Rossi
Xuất bản: New jersey: John Wiley 7 Sons Inc, 2006
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.36
 
Student's solutions guide to accompany Discrete mathematics and its applications
Tác giả: Jerrold W Grossman, Jerrold W Grossman, Kenneth H Rosen
Xuất bản: New York: McGrawHill, 2012
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.076
 
Qualitative spatial and temporal reasoning
Tác giả: Gérard Ligozat
Xuất bản: London UK Hoboken NJ: ISTE Wiley, 2012
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 

Truy cập nhanh danh mục