Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /

Lignende værker

• Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder /
  Udgivet: (2000)
• Computability in context computation and logic in the real world /
  Udgivet: (2011)
• Theory of computation
  af: Tourlakis, George J.
  Udgivet: (2012)
• Proof and computations
  af: Schwichtenberg, Helmut, 1942-
  Udgivet: (2012)
• Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
  Udgivet: (1988)