Inloggen
Verborgen velden
Boeken Boeken

Categorical Logic and Type Theory

B. Jacobs - 1999 - 790 pagina’s
Geen voorbeeld beschikbaar - Over dit boek




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