|
Showing 1 - 2 of
2 matches in All Departments
Published in honor of Victor L. Selivanov, the 17 articles
collected in this volume inform on the latest developments in
computability theory and its applications in computable analysis;
descriptive set theory and topology; and the theory of
omega-languages; as well as non-classical logics, such as temporal
logic and paraconsistent logic. This volume will be of interest to
mathematicians and logicians, as well as theoretical computer
scientists.
Over the last few decades the interest of logicians and
mathematicians in constructive and computational aspects of their
subjects has been steadily growing, and researchers from disparate
areas realized that they can benefit enormously from the mutual
exchange of techniques concerned with those aspects. A key figure
in this exciting development is the logician and mathematician
Helmut Schwichtenberg to whom this volume is dedicated on the
occasion of his 70th birthday and his turning emeritus. The volume
contains 20 articles from leading experts about recent developments
in Constructive set theory, Provably recursive functions, Program
extraction, Theories of truth, Constructive mathematics, Classical
vs. intuitionistic logic, Inductive definitions, and Continuous
functionals and domains.
|
You may like...
Midnights
Taylor Swift
CD
R418
Discovery Miles 4 180
The Expendables 2
Sylvester Stallone, Jason Statham, …
Blu-ray disc
(1)
R64
Discovery Miles 640
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.