Catalog > Sciences > Math > Andrea Sorbi: Complexity, Logic, and Recursion Theory (PDF)

Andrea Sorbi
Complexity, Logic, and Recursion Theory [PDF ebook]

Support

Cover of Andrea Sorbi: Complexity, Logic, and Recursion Theory (PDF)

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

€308.47

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● Pages 380 ● ISBN 9781482269758 ● Publisher CRC Press ● Published 2019 ● Downloadable 3 times ● Currency EUR ● ID 6998347 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

49,595 Ebooks in this category

Cover of Weinan E: Applied Stochastic Analysis

Weinan E: Applied Stochastic Analysis

This is a textbook for advanced undergraduate students and beginning graduate students in applied mathematics. It presents the basic mathematical foundations of stochastic analysis (probability theor …

Cover of Mateusz Michalek: Invitation to Nonlinear Algebra

Mateusz Michalek: Invitation to Nonlinear Algebra

Nonlinear algebra provides modern mathematical tools to address challenges arising in the sciences and engineering. It is useful everywhere, where polynomials appear: in particular, data and computat …

Cover of Peter Fletcher & William F. Lindgren: Quasi-Uniform Spaces

Peter Fletcher & William F. Lindgren: Quasi-Uniform Spaces

Since quasi-uniform spaces were defined in 1948, a diverse and widely dispersed literatureconcerning them has emerged. In Quasi-Uniform Spaces, the authors present a comprehensivestudy of these struc …

Cover of Tevian Dray: The Geometry of Special Relativity

Tevian Dray: The Geometry of Special Relativity

This unique book presents a particularly beautiful way of looking at special relativity. The author encourages students to see beyond the formulas to the deeper structure. The unification of space an …

Cover of Ben Krause: Discrete Analogues in Harmonic Analysis

Ben Krause: Discrete Analogues in Harmonic Analysis

This timely book explores certain modern topics and connections at the interface of harmonic analysis, ergodic theory, number theory, and additive combinatorics. The main ideas were pioneered by Bour …

Cover of David (Senior Data Science Expert, Novartis, Switzerland) Granjon: Outstanding User Interfaces with Shiny

David (Senior Data Science Expert, Novartis, Switzerland) Granjon: Outstanding User Interfaces with Shiny

Outstanding User Interfaces with Shiny provides the reader with necessary knowledge to develop beautiful and highly interactive user interfaces. It gives the minimum requirements in HTML/Java Script …

Cover of Tzafestas: Stochastic Large-Scale Engineering Systems

Tzafestas: Stochastic Large-Scale Engineering Systems

This book focuses on the class of large-scale stochastic systems, which has dominated the attention of many academic and research groups. It discusses distributed-sensor networks, decentralized detec …

Cover of Richard Vaillencourt: Simple Solutions to Energy Calculations

Richard Vaillencourt: Simple Solutions to Energy Calculations

Updated with new material, this book shares the author’s secrets for simplifying complex energy calculations, and shows you how to use these time-saving methods. It shows you how to cut through the m …

Cover of Alan Jeffrey: Mathematics for Engineers and Scientists

Alan Jeffrey: Mathematics for Engineers and Scientists

Since its original publication in 1969, Mathematics for Engineers and Scientists has built a solid foundation in mathematics for legions of undergraduate science and engineering students. It continue …

Cover of J.J. Allaire & Garrett Grolemund: R Markdown

J.J. Allaire & Garrett Grolemund: R Markdown

R Markdown: The Definitive Guide is the first official book authored by the core R Markdown developers that provides a comprehensive and accurate reference to the R Markdown ecosystem. With R Markdow …