Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /

Lignende værker

• Sound insulation of timber floors in rehabilitated Scottish tenements.
  Udgivet: (1987)
• My god : letters from the famous on God and the life hereafter /
  Udgivet: (1988)
• Models and sets proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
  Udgivet: (1984)
• Materials and design against fire : International Conference 27-28 October 1992, Institution of Mechanical Engineers London /
  Udgivet: (1992)
• Disaster housing : proceedings of the South Pacific regional conference held at the PNG University of Technology, Lae, 16-18 June 1994 /
  Udgivet: (1995)