• Engels
  • Spaans
  • Frans
  • Duits
  • Portugees
  • Italiaans
  • Russisch
  • Vereenvoudigd Chinees
  • Chinees (Traditioneel)
  • Japans
  • Koreaans
  • Nederlands
  • Zweeds
  • Perzisch
  • Arabisch
  • Pools
  • Thuis
  • Ontdekken
  • Artikelen
  • Inloggen
  • Registreren
  • Engels
  • Spaans
  • Frans
  • Duits
  • Portugees
  • Italiaans
  • Russisch
  • Vereenvoudigd Chinees
  • Chinees (Traditioneel)
  • Japans
  • Koreaans
  • Nederlands
  • Zweeds
  • Perzisch
  • Arabisch
  • Pools
ISBN Streepjescodescanner
Voeg boeken in seconden toe met barcode scannen.

Scan gewoon een ISBN om het direct aan je bibliotheek toe te voegen. Nu beschikbaar op iOS en Android.

App Store Google Play
Rob Nederpelt

Rob Nederpelt

Overzicht Boeken
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Rob Nederpelt

A Modern Perspective on Type Theory: From Its Origins Until Today

A Modern Perspective on Type Theory: From Its Origins Until Today

F.D. Kamareddine

A Modern Perspective on Type Theory

A Modern Perspective on Type Theory

F.D. Kamareddine

Volg je leesreis, ontdek nieuwe boeken en bereik je leesdoelen met BookPine.

App Store Google Play
Ontdekken
  • Ontdekken
Account
  • Inloggen
  • Registreren
Ondersteuning
  • FAQ
  • Functieaanvragen
  • Contact
Voorwaarden
  • Servicevoorwaarden
  • Privacybeleid
  • Cookiebeleid
  • Beheer Cookies

Auteursrecht © 2026 BookPine. Alle rechten voorbehouden.

Feedback versturen

We gebruiken cookies om uw ervaring te verbeteren en siteverkeer te analyseren. U kunt kiezen welke cookies u accepteert.

Essentieel

Noodzakelijk voor de werking van de website. Kan niet worden uitgeschakeld.

Analyse

Help ons te begrijpen hoe bezoekers interageren met onze website.

Marketing

Gebruikt om relevante advertenties te leveren en campagnes te volgen.