Automath : a language for mathematics

dc.contributor.author	Nicolaas Govert de, Bruijn
dc.date.accessioned	2025-01-26T14:50:25Z
dc.date.available	2025-01-26T14:50:25Z
dc.date.issued	1973
dc.identifier.isbn	0840502230
dc.identifier.uri	https://di.univ-blida.dz/jspui/handle/123456789/36467
dc.description	58 p.: 28 cm	fr_FR
dc.language.iso	en	fr_FR
dc.publisher	Les Presses de l'université de Montréal	fr_FR
dc.relation.ispartofseries	Séminaire de Mathématiques Supérieures;
dc.subject	AUTOMATH (formal language)	fr_FR
dc.subject	Métamathématique : congrès	fr_FR
dc.title	Automath : a language for mathematics	fr_FR
dc.type	Book	fr_FR