Analysis and logic

Κώδικας 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...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	Βιβλίο
Γλώσσα:	Undetermined
Έκδοση:	Cambridge, UK,New York Cambridge University Press 2002
Θέματα:	Mathematical analysis,Logic, Symbolic and mathematical,Toán học giải tích,Lôgic, Toán học và ký hiệu
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Παρόμοια τεκμήρια

Symbolic logic
ανά: Agler, David W
Έκδοση: (2013)

Logic for mathematics and computer sicence
ανά: Burris, Stanley N.
Έκδοση: (1998)

Logic
Έκδοση: (1980)

Logic toán
ανά: S L Edenmar
Έκδοση: (1981)

An introduction to symbolic logic
ανά: Langer, Susanne Katherina
Έκδοση: (1953)

Logic for computer scientists
ανά: Uwe Schoning
Έκδοση: (1989)

Bước đầu làm quen với logic toán
ανά: Nguyễn Mạnh Trinh
Έκδοση: (1997)

Các bài toán về suy luận logic
ανά: Trần, Diên Hiển
Έκδοση: (2000)

Bước đầu làm quen với logic toán
ανά: Nguyễn Mạnh Trinh
Έκδοση: (1999)

Bảy phương pháp giải các bài toán logic
ανά: Đặng, Huy Ruận
Έκδοση: (2002)

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

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
ανά: Koslow, Arnold, κ.ά.
Έκδοση: (2015)

How to read and do proofs : an introduction to mathematical thought processes /
ανά: Solow, Daniel.
Έκδοση: (1990)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
ανά: Banerjee, Mohua, κ.ά.
Έκδοση: (2015)

Tập hợp và logic :
ανά: Hoàng, Xuân Sính
Έκδοση: (1998)

Computability and logic
ανά: Boolos, George
Έκδοση: (2002)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
ανά: Hoàng Chúng
Έκδοση: (1977)

Mathematical logic for computer science.
ανά: Lu Zhungwan
Έκδοση: (1989)

Mathematical logic for computer science /
ανά: Lu, Zhongwan.
Έκδοση: (1989)

Mathematical logic for computer science /
ανά: Lu, Zhongwan.
Έκδοση: (1989)

Transition to higher mathematics :
ανά: Dumas , Bob A.
Έκδοση: (2007)

Cơ sở toán trong lập trình
ανά: Đỗ Đức Giáo
Έκδοση: (1998)

Một số vấn đề về thuật toán
ανά: Nguyễn, Hữu Điển
Έκδοση: (2006)

Discrete mathematics by example
ανά: Andrew Simpson
Έκδοση: (2002)

Discrete mathematics
ανά: Johnsonbaugh, Richard
Έκδοση: (2005)

Nonstandard logics and nonstandard metrics in physics /
ανά: Honig, William M.
Έκδοση: (1995)

Nonstandard logics and nonstandard metrics in physics /
ανά: Honig, William M.
Έκδοση: (1995)

Nhập môn lý thuyết tập hợp và logic
ανά: Phan Hữu Chân
Έκδοση: (1977)

Propositions, functions, and analysis
ανά: Hylton, Peter
Έκδοση: (2008)

Discrete-event system simulation
Έκδοση: (2001)

Cơ sở lí thuyết tập hợp và lôgic toán :
ανά: Trần, Diên Hiển
Έκδοση: (2007)

Giáo trình Logic mờ & ứng dụng
ανά: Lê, Xuân Vinh
Έκδοση: (2019)

Giáo trình lý thuyết tập hợp và logic toán
ανά: Lê, Phương Thảo
Έκδοση: (2016)

Nonstandard logics and nonstandard metrics in physics
ανά: Honig, William M
Έκδοση: (1995)

Bài giảng cơ sở logic và tập hợp
ανά: Lê, Văn Sáng
Έκδοση: (2000)

Toán rời rạc ứng dụng trong tin học =
ανά: Rosen, Kenneth H.
Έκδοση: (2002)

Logically determined design :
ανά: Fant, Karl M.
Έκδοση: (2005)

Nonstandard logics and nonstandard metrics in physics
ανά: Honig, William M
Έκδοση: (1995)

Paradox and paraconsistency :
ανά: Woods, John
Έκδοση: (2003)

Data engineering: Fuzzy mathematics in systems theory and data analysis
ανά: Olaf Wolkenhauer
Έκδοση: (2001)