Loại tài liệu:    Chỉ tìm trong: 
31-40 trong số 56 kết quả
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
 
Roads to infinity : the mathematics of truth and proof
Tác giả: John Stillwell
Xuất bản: Natick Mass: A K Peters, c2010
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
The Big Typescript, TS. 213
Tác giả: Ludwig Wittgenstein, Maximilian Aue, C Grant Luckhardt
Xuất bản: Malden MA: Blackwell Pub, 2005
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  192
 
Uncertain inference
Tác giả: Henry Ely Kyburg, Choh Man Teng
Xuất bản: Cambridge UK New York: Cambridge University Press, 2001
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  003.54
 
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
 
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
 
The Continued Exercise of Reason : Public Addresses by George Boole
Tác giả: Brendan Dooley
Xuất bản: Cambridge: MIT Press, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
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
 

Truy cập nhanh danh mục