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

Documents (Auteurs)

• [MathOuvrage] The Logic of provability / Boolos, George S.. -Cambridge : Cambridge university Press, 1993. - xxxvi, 275 p. ; 23 cm
  ISBN 9780521483254
  
• [MathOuvrage] Computability and logic / Boolos, George S. ; Jeffrey, R.C.. -Cambridge : Cambridge university Press, 1974. - x-262