Analysis and logic

QR Kodea

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

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Formatua:	Liburua
Hizkuntza:	Undetermined
Argitaratua:	Cambridge, UK,New York Cambridge University Press 2002
Gaiak:	Mathematical analysis,Logic, Symbolic and mathematical,Toán học giải tích,Lôgic, Toán học và ký hiệu
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Symbolic logic
nork: Agler, David W
Argitaratua: (2013)

Logic for mathematics and computer sicence
nork: Burris, Stanley N.
Argitaratua: (1998)

Logic
Argitaratua: (1980)

Logic toán
nork: S L Edenmar
Argitaratua: (1981)

An introduction to symbolic logic
nork: Langer, Susanne Katherina
Argitaratua: (1953)

Logic for computer scientists
nork: Uwe Schoning
Argitaratua: (1989)

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

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

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

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

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

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

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

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

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

Computability and logic
nork: Boolos, George
Argitaratua: (2002)

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

Mathematical logic for computer science.
nork: Lu Zhungwan
Argitaratua: (1989)

Mathematical logic for computer science /
nork: Lu, Zhongwan.
Argitaratua: (1989)

Mathematical logic for computer science /
nork: Lu, Zhongwan.
Argitaratua: (1989)

Transition to higher mathematics :
nork: Dumas , Bob A.
Argitaratua: (2007)

Discrete mathematics by example
nork: Andrew Simpson
Argitaratua: (2002)

Discrete mathematics
nork: Johnsonbaugh, Richard
Argitaratua: (2005)

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

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

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

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

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

Propositions, functions, and analysis
nork: Hylton, Peter
Argitaratua: (2008)

Discrete-event system simulation
Argitaratua: (2001)

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

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

Nonstandard logics and nonstandard metrics in physics
nork: Honig, William M
Argitaratua: (1995)

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

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

Logically determined design :
nork: Fant, Karl M.
Argitaratua: (2005)

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

Nonstandard logics and nonstandard metrics in physics
nork: Honig, William M
Argitaratua: (1995)

Paradox and paraconsistency :
nork: Woods, John
Argitaratua: (2003)

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