Amazon cover image
Image from Amazon.com
Image from Google Jackets

Formalized recursive functionals and formalized realizability / [electronic resource] by S.C. Kleene.

By: Material type: TextTextSeries: Memoirs of the American Mathematical Society ; no. 89.Publication details: Providence, R.I. : American Mathematical Society, 1969.Description: 1 online resource (106 p.)ISBN:
  • 9781470400385 (online)
Subject(s): Additional physical formats: Formalized recursive functionals and formalized realizability /LOC classification:
  • QA3 .A57 no. 89
Online resources:
Contents:
Introduction Part I. Formalized recursive functionals 1. Computation tree numbers 2. $p$-terms and $p$-functors; $r\simeq s$ (definition and basic properties) 3. Representation of $p$-terms by proper indices 4. The recursion theorem; the normal form theorem; $\{\tau \}[\alpha ]$ and $\wedge \alpha \, u[\alpha ]$; $!R \,\&\, [A(R)]$ Part II. Formalized realizability 5. Intuitionistically provable formulas are realizable and $\bigcirc \!\!\!\!\!q$\ -realizable
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified URL Status Date due Barcode
IMSc Library Link to resource Available EBK12542

Includes bibliographical references.

Introduction Part I. Formalized recursive functionals 1. Computation tree numbers 2. $p$-terms and $p$-functors; $r\simeq s$ (definition and basic properties) 3. Representation of $p$-terms by proper indices 4. The recursion theorem; the normal form theorem; $\{\tau \}[\alpha ]$ and $\wedge \alpha \, u[\alpha ]$; $!R \,\&\, [A(R)]$ Part II. Formalized realizability 5. Intuitionistically provable formulas are realizable and $\bigcirc \!\!\!\!\!q$\ -realizable

Access is restricted to licensed institutions

Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012

Mode of access : World Wide Web

Description based on print version record.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India