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

Giuseppe Primiero

Ebooks

Icon image Information and Knowledge: A Constructive Type-theoretical Approach

Information and Knowledge: A Constructive Type-theoretical Approach

€174.39€122.07

Icon image On the Foundations of Computing

On the Foundations of Computing

€42.72€29.90

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

All prices include VAT.