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

Complexity, Logic, and Recursion Theory

Andrea Sorbi
    • 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

Thêm Sách Tương Tự

Developments in Language Theory Developments in Language Theory
Developments in Language Theory
2008
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
2019
Sets And Computations Sets And Computations
Sets And Computations
2017
Combinatorics, Automata and Number Theory Combinatorics, Automata and Number Theory
Combinatorics, Automata and Number Theory
2010
Sequences, Groups, and Number Theory Sequences, Groups, and Number Theory
Sequences, Groups, and Number Theory
2018
Additive Number Theory Additive Number Theory
Additive Number Theory
2010

Sách Khác Của Andrea Sorbi

New Computational Paradigms New Computational Paradigms
New Computational Paradigms
2007
Computation and Logic in the Real World Computation and Logic in the Real World
Computation and Logic in the Real World
2007

Sách Khác trong Bộ sách Này

partial differential equation methods in control and shape analysis 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
Control of Partial Differential Equations
1994
Differential Equations Differential Equations
Differential Equations
1990
Commutative Ring Theory and Applications 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
Mathematical Models and Methods for Real World Systems
2005
Function Spaces Function Spaces
Function Spaces
2000