Books on Google Play

google_logo Play

Sign in with Google
Library & devices
Payments & subscriptions
My Play activity
Offers
Play Pass
Personalization in Play
Settings

Privacy Policy • Terms of Service

More by Stephen Cole Kleene

Icon image Two Papers on the Predicate Calculus

Two Papers on the Predicate Calculus

Icon image Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

Google Play

Play Pass

Play Points

Gift cards

Redeem

Refund policy

Children and family

Parent guide

Family sharing

Terms of Service

Privacy

About Google Play

Developers

Google Store

All prices include VAT.