Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2
by M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, Thomas, W.
Computable functionsProof theoryMathematicsSymbolic and mathematical LogicMathematical Logic and Foundations
Writing a summary for young readers…
For young readers
Book data: Open Library