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

Complexity, Logic, and Recursion Theory

    • ¥48,800
    • ¥48,800

発行者による作品情報

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

ジャンル
科学/自然
発売日
2019年
5月7日
言語
EN
英語
ページ数
380
ページ
発行者
CRC Press
販売元
Taylor & Francis Group
サイズ
24.5
MB
Sets And Computations Sets And Computations
2017年
Developments in Nonstandard Mathematics Developments in Nonstandard Mathematics
2020年
Contemporary Developments In Finite Fields And Applications Contemporary Developments In Finite Fields And Applications
2016年
Journal of Fourier Analysis and Applications Special Issue Journal of Fourier Analysis and Applications Special Issue
2020年
Multiple Zeta Functions, Multiple Polylogarithms And Their Special Values Multiple Zeta Functions, Multiple Polylogarithms And Their Special Values
2016年
Proof and Computation Proof and Computation
2018年
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年