Complexity, Logic, and Recursion Theory Complexity, Logic, and Recursion Theory
Lecture Notes in Pure and Applied Mathematics

Complexity, Logic, and Recursion Theory

    • 349,99 US$
    • 349,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."

THỂ LOẠI
Khoa Học & Tự Nhiên
ĐÃ PHÁT HÀNH
2019
7 tháng 5
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
380
Trang
NHÀ XUẤT BẢN
CRC Press
NGƯỜI BÁN
Taylor & Francis Group
KÍCH THƯỚC
24,5
Mb
New Computational Paradigms New Computational Paradigms
2007
Computation and Logic in the Real World Computation and Logic in the Real World
2007
partial differential equation methods in control and shape analysis partial differential equation methods in control and shape analysis
1997
Control of Partial Differential Equations Control of Partial Differential Equations
1994
Differential Equations Differential Equations
1990
Commutative Ring Theory and Applications Commutative Ring Theory and Applications
2017
Mathematical Models and Methods for Real World Systems Mathematical Models and Methods for Real World Systems
2005
Function Spaces Function Spaces
2000