• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster
Omslagafbeelding: Simple Type Theory 2nd edition 9783031853517

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2nd Editie

  • Auteur(s) William M. Farmer
  • Uitgever Gepubliceerd door Birkhäuser
  • "ISBN-13 9783031853517"
  • Indeling Vaste lay-out

eBook

Licentie eTextbook
‌
€24.53 EUR
‌‌
‌

  • Studietools

    Ingebouwde studiehulpmiddelen zoals markeringen en meer

  • Hardop voorlezen

    Luister en lees mee terwijl Bookshelf voorleest

  • Offline toegang

    Altijd en overal toegang tot je eTextbook

  • Algemene zoekfunctie

    Doorzoek de boekinhoud, illustraties en je werkmap

Meer informatie

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas 2nd Editie is geschreven door William M. Farmer en gepubliceerd door Birkhäuser. De digitale en eTextbook-ISBN's voor Simple Type Theory zijn 9783031853524, 3031853520 en de ISBN's voor gedrukt materiaal zijn 9783031853517, 3031853512. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven