Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Electronic Book
Author Kleene, Stephen Cole, 1909-1994, author.

Title Formalized recursive functionals and formalized realizability / by S.C. Kleene.

Publication Info. Providence : American Mathematical Society, 1969.

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description 1 online resource (110 pages).
text rdacontent
computer rdamedia
online resource rdacarrier
Series Memoirs of the American Mathematical Society ; number 89
Memoirs of the American Mathematical Society ; no. 89.
Note Cover title.
Bibliography Bibliography: pages 104-106.
Note Description based on print version record.
Subject Recursive functions.
Genre/Form Electronic books.
Other Form: Print version: Kleene, Stephen Cole. Formalized recursive functionals and formalized realizability. Providence : American Mathematical Society, 1969 106 ; 26 cm Memoirs of the American Mathematical Society ; no. 89 9780821812891
ISBN 9780821812891
9781470400385 (e-book)

 
    
Available items only