Recursion on the Countable Functionals

Recursion on the Countable Functionals

Author: D. Normann

Publisher: Springer

ISBN: 9783540381709

Category: Mathematics

Page: 198

View: 120

Download Now
Recursion on the Countable Functionals
Language: en
Pages: 198
Authors: D. Normann
Categories: Mathematics
Type: BOOK - Published: 2006-12-08 - Publisher: Springer

Books about Recursion on the Countable Functionals
Recursion Theory on the Countable Functionals
Language: en
Pages: 122
Authors: J. M. E. Hyland
Categories: Mathematics
Type: BOOK - Published: 1975 - Publisher:

Books about Recursion Theory on the Countable Functionals
Feferman on Foundations
Language: en
Pages: 551
Authors: Gerhard Jäger, Wilfried Sieg
Categories: Mathematics
Type: BOOK - Published: 2018-04-04 - Publisher: Springer

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics.
Logic Colloquium 2000
Language: en
Pages:
Authors: René Cori, Alexander Razborov, Stevo Todorčević, Carol Wood
Categories: Mathematics
Type: BOOK - Published: 2017-03-30 - Publisher: Cambridge University Press

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the nineteenth publication in the Lecture Notes
Classical Recursion Theory
Language: en
Pages: 667
Authors: P. Odifreddi
Categories: Computers
Type: BOOK - Published: 1992-02-04 - Publisher: Elsevier

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and