Automath : a language for mathematics
type: Book
type: ProductModel
type: CreativeWork
issued: 1968
author: p069311358
description: T.H.-report 68- WSK-05
language: en
main entity of page: https://data.bibliotheken.nl/.well-known/genid/edadc3e5612d7ed4c02f9e7f0d9022fe
number of pages: 47
label: Automath : a language for mathematics / Nicolaas Govert de Bruijn