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

Documents (Mots clés)

• [MathOuvrage] Logic and foundations of mathematics / Dédic. Heyting, A. ; Ed. Dalen, Dirk van ; Ed. Dijkman, J.G. ; Ed. Kleene, Stephen C. ; Ed. Troelstra, A.S.. -Groningen : Wolters-Noordhoff, 1968. - 248