Zoeken Afbeeldingen Maps Play YouTube Nieuws Gmail Drive Meer »
Inloggen
Boeken Boeken 1 - 3 van ongeveer 3 uitgaven van Categorical Logic and Type Theory.

Categorical Logic and Type Theory

Bart Jacobs - 1999 - 760 pagina’s
Geen voorbeeld beschikbaar - Over dit boek




  1. Mijn bibliotheek
  2. Help
  3. Geavanceerd zoeken naar boeken