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
Full metadata record
DC FieldValueLanguage
dc.contributor.authorNicolaas Govert de, Bruijn-
dc.date.accessioned2025-01-26T14:50:25Z-
dc.date.available2025-01-26T14:50:25Z-
dc.date.issued1973-
dc.identifier.isbn0840502230-
dc.identifier.urihttps://di.univ-blida.dz/jspui/handle/123456789/36467-
dc.description58 p.: 28 cmfr_FR
dc.language.isoenfr_FR
dc.publisherLes Presses de l'université de Montréalfr_FR
dc.relation.ispartofseriesSéminaire de Mathématiques Supérieures;-
dc.subjectAUTOMATH (formal language)fr_FR
dc.subjectMétamathématique : congrèsfr_FR
dc.titleAutomath : a language for mathematicsfr_FR
dc.typeBookfr_FR
Appears in Collections:Livres

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


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