google_logo Play

Sign in with Google
Library & devices
Payments & subscriptions
My Play activity
Offers
Gift cards
Play Pass
Third-party app stores
Personalization in Play
Settings

Privacy Policy • Terms of Service

Martin Hofmann

Ebooks

Icon image Automata Theory and Logic

Automata Theory and Logic

Icon image Extensional Constructs in Intensional Type Theory

Extensional Constructs in Intensional Type Theory

Icon image Automatentheorie und Logik

Automatentheorie und Logik

Google Play

Play Pass

Play Points

Gift cards

Redeem

Refund policy

Kids & family

Parent Guide

Family sharing

Terms of Service

Privacy

About Google Play

Developers

Google Store

United States (English (United States))