Proof, language, and interaction

Materias

• Computer science
• Mathematics

Ediciones (4)

• Proof, Language, and Interaction (2018)

  MIT Press · inglés · ISBN 9780262281676

• Proof, Language, and Interaction (2000)

  The MIT Press · inglés · ISBN 9780262161886

• Proof, language, and interaction (2000)

  MIT Press · inglés

• Proof, language, and interaction (2000)

  MIT Press · inglés

Más obras de Mads Tofte