Edinburgh Research Explorer

Prof. Angus MacIntyre

(Former employee or visitor)

Research outputs

  1. The Nature of Mathematical Proof

    Research output: Contribution to journal › Special issue

View all (1) »

ID: 21016