Inzien en bewijzen

Publicatiejaar: 2005

ISBN 10: 9053567496

ISBN 13: 9789053567494

Over Inzien en bewijzen

Behandeling van bewijzen in de wiskunde vanaf Euclides tot en met Automath.

Laatst gewijzigd: zondag 14 januari 2024