Analysis and logic

Codi QR

Analysis and logic

This volume comprises articles from three outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. Considerable effort has been made by the authors t...

Descripció completa

Guardat en:

Dades bibliogràfiques
Format:	Llibre
Idioma:	Undetermined
Publicat:	Cambridge, UK,New York Cambridge University Press 2002
Matèries:	Mathematical analysis,Logic, Symbolic and mathematical,Toán học giải tích,Lôgic, Toán học và ký hiệu
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Ítems similars

Symbolic logic
per: Agler, David W
Publicat: (2013)

Logic for mathematics and computer sicence
per: Burris, Stanley N.
Publicat: (1998)

Logic
Publicat: (1980)

Logic toán
per: S L Edenmar
Publicat: (1981)

An introduction to symbolic logic
per: Langer, Susanne Katherina
Publicat: (1953)

Logic for computer scientists
per: Uwe Schoning
Publicat: (1989)

Bước đầu làm quen với logic toán
per: Nguyễn Mạnh Trinh
Publicat: (1997)

Các bài toán về suy luận logic
per: Trần, Diên Hiển
Publicat: (2000)

Bước đầu làm quen với logic toán
per: Nguyễn Mạnh Trinh
Publicat: (1999)

Bảy phương pháp giải các bài toán logic
per: Đặng, Huy Ruận
Publicat: (2002)

Bảy phương pháp giải các bài toán logic
per: Đặng Huy Ruận

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
per: Koslow, Arnold, et al.
Publicat: (2015)

How to read and do proofs : an introduction to mathematical thought processes /
per: Solow, Daniel.
Publicat: (1990)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
per: Banerjee, Mohua, et al.
Publicat: (2015)

Tập hợp và logic :
per: Hoàng, Xuân Sính
Publicat: (1998)

Computability and logic
per: Boolos, George
Publicat: (2002)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
per: Hoàng Chúng
Publicat: (1977)

Mathematical logic for computer science.
per: Lu Zhungwan
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Transition to higher mathematics :
per: Dumas , Bob A.
Publicat: (2007)

Cơ sở toán trong lập trình
per: Đỗ Đức Giáo
Publicat: (1998)

Một số vấn đề về thuật toán
per: Nguyễn, Hữu Điển
Publicat: (2006)

Discrete mathematics by example
per: Andrew Simpson
Publicat: (2002)

Discrete mathematics
per: Johnsonbaugh, Richard
Publicat: (2005)

Nonstandard logics and nonstandard metrics in physics /
per: Honig, William M.
Publicat: (1995)

Nonstandard logics and nonstandard metrics in physics /
per: Honig, William M.
Publicat: (1995)

Nhập môn lý thuyết tập hợp và logic
per: Phan Hữu Chân
Publicat: (1977)

Propositions, functions, and analysis
per: Hylton, Peter
Publicat: (2008)

Discrete-event system simulation
Publicat: (2001)

Cơ sở lí thuyết tập hợp và lôgic toán :
per: Trần, Diên Hiển
Publicat: (2007)

Giáo trình Logic mờ & ứng dụng
per: Lê, Xuân Vinh
Publicat: (2019)

Giáo trình lý thuyết tập hợp và logic toán
per: Lê, Phương Thảo
Publicat: (2016)

Nonstandard logics and nonstandard metrics in physics
per: Honig, William M
Publicat: (1995)

Bài giảng cơ sở logic và tập hợp
per: Lê, Văn Sáng
Publicat: (2000)

Toán rời rạc ứng dụng trong tin học =
per: Rosen, Kenneth H.
Publicat: (2002)

Logically determined design :
per: Fant, Karl M.
Publicat: (2005)

Nonstandard logics and nonstandard metrics in physics
per: Honig, William M
Publicat: (1995)

Paradox and paraconsistency :
per: Woods, John
Publicat: (2003)

Data engineering: Fuzzy mathematics in systems theory and data analysis
per: Olaf Wolkenhauer
Publicat: (2001)