Analysis and logic

QR koda

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...

Shranjeno v:

Bibliografske podrobnosti
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Cambridge, UK,New York Cambridge University Press 2002
Teme:	Mathematical analysis,Logic, Symbolic and mathematical,Toán học giải tích,Lôgic, Toán học và ký hiệu
Oznake:	Označite Brez oznak, prvi označite!

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

Podobne knjige/članki

Symbolic logic
od: Agler, David W
Izdano: (2013)

Logic for mathematics and computer sicence
od: Burris, Stanley N.
Izdano: (1998)

Logic
Izdano: (1980)

Logic toán
od: S L Edenmar
Izdano: (1981)

An introduction to symbolic logic
od: Langer, Susanne Katherina
Izdano: (1953)

Logic for computer scientists
od: Uwe Schoning
Izdano: (1989)

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

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

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

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

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

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

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

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

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

Computability and logic
od: Boolos, George
Izdano: (2002)

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

Mathematical logic for computer science.
od: Lu Zhungwan
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

Transition to higher mathematics :
od: Dumas , Bob A.
Izdano: (2007)

Discrete mathematics by example
od: Andrew Simpson
Izdano: (2002)

Discrete mathematics
od: Johnsonbaugh, Richard
Izdano: (2005)

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

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

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

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

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

Propositions, functions, and analysis
od: Hylton, Peter
Izdano: (2008)

Discrete-event system simulation
Izdano: (2001)

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

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

Nonstandard logics and nonstandard metrics in physics
od: Honig, William M
Izdano: (1995)

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

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

Logically determined design :
od: Fant, Karl M.
Izdano: (2005)

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

Nonstandard logics and nonstandard metrics in physics
od: Honig, William M
Izdano: (1995)

Paradox and paraconsistency :
od: Woods, John
Izdano: (2003)

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