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

Documents (Auteurs)

• [MathCongrès] Logic colloquium 73 / Ed. Rose, H.E. ; Ed. Shepherdson, J.C.. -Amsterdam : North-Holland, 1975. - viii, 513