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

Documents (Auteurs)

• [IremOuvrage] Quel est le titre de ce livre ? / Smullyan, Raymond M. ; Trad. Marthon, Jérôme ; Ill. Berloquin, Pierre. -Paris : Dunod, 1981. - 249 p. ; 22 cm
  
• [MathOuvrage] Theory of formal systems / Smullyan, Raymond M.. -Princeton NJ : Princeton university Press, 1961. - viii, 142 p. ; 23 cm
  
• [MathOuvrage] Gödel's incompletness theorems / Smullyan, Raymond M.. -New York NY, Oxford : Oxford university Press, 1992. - xiii, 139 p. ; 24 cm
  
• [MathOuvrage] First-order logic / Smullyan, Raymond M.. -Berlin : Springer, 1968. - xii, 158
  https://link.springer.com/book/10.1007/978-3-642-86718-7
  
• [MathOuvrage] What is the name of this book ? / Smullyan, Raymond M.. -Englewood Cliffs NJ : Prentice Hall, 1978. - viii, 241 p. ; 21 cm
  
• [MathOuvrage] To mock a mockingbird and other logic puzzles including an amazing adventure in combinatory logic / Smullyan, Raymond M.. -Oxford : Oxford university Press, 1990. - x-246