1. DSpace at My University blida 1
  2. Bibliothèque Universitaire Centrale
  3. Livres
Please use this identifier to cite or link to this item: http://localhost:8080/xmlui/handle/123456789/36467
Title: Automath : a language for mathematics
Authors: Nicolaas Govert de, Bruijn
Keywords: AUTOMATH (formal language)
Métamathématique : congrès
Issue Date: 1973
Publisher: Les Presses de l'université de Montréal
Series/Report no.: Séminaire de Mathématiques Supérieures;
Description: 58 p.: 28 cm
URI: https://di.univ-blida.dz/jspui/handle/123456789/36467
ISBN: 0840502230
Appears in Collections:Livres

Files in This Item:
File Description SizeFormat 
2-511-40.pdf100,52 kBAdobe PDFView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.