Documents liés : [2 document(s)]

Documents (Auteurs)

• [MathOuvrage] The Incompleteness theorem / Barendregt, Hendrik P.. -Utrecht : Rijksuniversiteit, 1976. - 59
  
• [MathOuvrage] The Lambda calculus. Its syntax and semantics / Barendregt, Hendrik P.. -Amsterdam : North-Holland, 1984. - xvi, 621