Loại tài liệu:    Chỉ tìm trong: 
211-220 trong số 250 kết quả
Computability, enumerability, unsolvability : directions in recursion theory
Tác giả: S B Cooper, T A Slaman, S S Wainer
Xuất bản: Cambridge England New York: Cambridge University Press, 1996
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.35
 
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
 
Approximation by polynomials with integral coefficients
Tác giả: Le Baron O Ferguson
Xuất bản: Providence RI: American Mathematical Society, 1980
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.4
 
Analytic quotients : theory of liftings for quotients over analytic ideals on the integers
Tác giả: Ilijas Farah
Xuất bản: Providence RI: American Mathematical Society, c2000
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
 
The stationary tower : notes on a course by W. Hugh Woodin
Tác giả: Paul B Larson
Xuất bản: Providence RI: American Mathematical Society, c2004
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.34
 
Descriptive set theory
Tác giả: Yiannis N Moschovakis
Xuất bản: Providence RI: American Mathematical Society, c2009
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.322
 
The reflective Lorentzian lattices of rank 3
Tác giả: Daniel Allcock
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.33
 
Generalized descriptive set theory and classification theory
Tác giả: Sy D Friedman, Tapani Hyttinen, Vadim Kulikov
Xuất bản: : ,
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
 
Introduction to graph theory
Tác giả: Robin J Wilson
Xuất bản: Harlow: Longman, 1996
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.5
 

Truy cập nhanh danh mục