Loại tài liệu:    Chỉ tìm trong: 
111-120 trong số 184 kết quả
Category theory
Tác giả: Steve Awodey
Xuất bản: Oxford New York: Oxford University Press, 2010
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
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
 
Words, semigroups & transductions : Festschrift in honor of Gabriel Thierrin
Tác giả: Gheorghe Păun, Masami Itō, She Yu, Gabriel Thierrin
Xuất bản: River Edge NJ: World Scientific, c2001
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
E-recursion, forcing and C*-algebras
Tác giả: C-T Chong
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
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
 
Notes on forcing axioms
Tác giả: Stevo Todorcevic, C-T Chong, Qi Feng, T A Slaman, W H Woodin, Yue Yang
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Model theory with applications to algebra and analysis
Tác giả: Zoé Mari Chatzidakis
Xuất bản: Cambridge UK New York: Cambridge University Press, 2008
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.34
 
Forcing idealized
Tác giả: Jindřich Zapletal
Xuất bản: Cambridge New York: Cambridge University Press, 200
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  511.322
 
Algebraic theory of automata and languages
Tác giả: Masami Itoo,
Xuất bản: New Jersey: World Scientific, 2004
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.3
 
Sự hình thành logic toán - những nét cơ bản
Tác giả: Gia Thơi Nguyễn
Xuất bản: : Nhan luc Khoa hoc Xa hoi, 2016
Bộ sưu tập: Metadata
ddc:  511.3
 

Truy cập nhanh danh mục