Last update: Sat Oct 14 02:51:54 MDT 2017
@Article{Arnold:1970:PLF, author = "Andr{\'e} Arnold", title = "Pr{\'e}sentation d'un langage de formalisation des d{\'e}monstrations math{\'e}matiques naturelles. ({French}) []", journal = j-LECT-NOTES-MATH, volume = "125", pages = "6--28", year = "1970", CODEN = "LNMAA2", DOI = "https://doi.org/10.1007/BFb0060622", ISBN = "3-540-04914-2 (print), 3-540-36262-2 (e-book)", ISBN-13 = "978-3-540-04914-2 (print), 978-3-540-36262-3 (e-book)", ISSN = "0075-8434 (print), 1617-9692 (electronic)", ISSN-L = "0075-8434", MRclass = "94.50 (02.00)", MRnumber = "0276017 (43 \#1770)", MRreviewer = "F. Vandamme", bibdate = "Fri May 9 19:07:41 MDT 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1970.bib", URL = "http://link.springer.com/chapter/10.1007/BFb0060622/", acknowledgement = ack-nhfb, book-DOI = "https://doi.org/10.1007/BFb0060620", book-URL = "http://www.springerlink.com/content/978-3-540-36262-3", fjournal = "Lecture Notes in Mathematics", journal-URL = "http://link.springer.com/bookseries/304", language = "French", }