Proofs and Computations (Perspectives in Logic)

Materias

• Computable functions
• Proof theory
• Logic, symbolic and mathematical

Ediciones (1)

• Proofs and Computations (Perspectives in Logic) (2012)

  Cambridge University Press · ISBN 9780521517690

Más obras de Helmut Schwichtenberg

Computer science logic